Checking monotone boolean duality with limited nondeterminism TECHNICAL REPORT No.2003/07/02 D.J.Kavvadias, E.Stavropoulos
Τύπος υλικού:![Κείμενο](/opac-tmpl/lib/famfamfam/BK.png)
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Μηχανικών Η/Υ και Πληροφορικής | 1 | Διαθέσιμο |
references: 10-11p.