Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)
Άλλοι συγγραφείς: | , , |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Θέματα: |
Μηχανικών Η/Υ και Πληροφορικής: Unknown
Ταξιθετικός Αριθμός: |
Unknown |
---|---|
Αντίγραφο 1 | Στη βιβλιοθήκη |