Techniques of Prolog programming with implementation of logical negation and quantified goals
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
New York
John Wiley & Sons
1993
|
Θέματα: |
ΒΚΠ - Πατρα: BSC
Ταξιθετικός Αριθμός: |
005.133 |
---|---|
Αντίγραφο 1 | Στη βιβλιοθήκη |