Principles of logic and logic programming/
Main Author: | Μετακίδης, Γιώργος, 1945- |
---|---|
Other Authors: | Nerode, Anil,, Σιναχόπουλος, Α. |
Format: | Book |
Language: | English |
Published: |
Amsterdan:
Elsevier,
1996
|
Series: | Studies in Computer Science and Artificial Intelligence / Banerji R.B. , Nivat M. , Wirsing M ;
13 |
Subjects: |
Similar Items
-
Principles of logic and logic programming/
by: Μητακίδης, Γιώργος, 1945-
Published: (1996) -
Handbook of logic in artificial intelligence and logic programming /
Published: (1996) -
Handbook of logic in artificial intelligence and logic programming /
Published: (1993) -
Handbook of logic in artificial intelligence and logic programming /
Published: (1993) -
Logic programming : formal methods and practical applications /
Published: (1995)