From logic to logic programming
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cambridge Mass
Massachusetts Institute of Technology Cambridge Mass.
c1994
|
Σειρά: | Foundations of Computing Series
|
Θέματα: |
ΒΚΠ - Πατρα: ALFg
Ταξιθετικός Αριθμός: |
005.1 DOE |
---|---|
Αντίγραφο 1 | Στη βιβλιοθήκη |