Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Comon, H. (Επιμελητής έκδοσης), Ganzinger, H. (Επιμελητής έκδοσης), Kirchner, C. (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Θέματα:

Μηχανικών Η/Υ και Πληροφορικής: Unknown

Λεπτομέρειες τεκμηρίων από Μηχανικών Η/Υ και Πληροφορικής: Unknown
Ταξιθετικός Αριθμός: Unknown
Αντίγραφο 1 Στη βιβλιοθήκη