Checking monotone boolean duality with limited nondeterminism TECHNICAL REPORT No.2003/07/02
| Άλλοι συγγραφείς: | , , , |
|---|---|
| Μορφή: | Βιβλίο |
| Έκδοση: |
Patras-Hellas
CTI
c2003
|
| Θέματα: |
Μηχανικών Η/Υ και Πληροφορικής: Unknown
| Ταξιθετικός Αριθμός: |
Unknown |
|---|---|
| Αντίγραφο 1 | Στη βιβλιοθήκη |
