From logic to logic programming

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Doets, Kees (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge Mass Massachusetts Institute of Technology Cambridge Mass. c1994
Σειρά:Foundations of Computing Series
Θέματα:
Περιγραφή
Περιγραφή τεκμηρίου:bibliography:ppp.197-199
Φυσική περιγραφή:xii,214p.
ISBN:0 262 04142 1