From logic to logic programming
Main Author: | Doets, Kees |
---|---|
Format: | Book |
Language: | English |
Published: |
Cambridge, Massachusetts
The MIT Press
1994
|
Series: | Foundations of computing series
|
Subjects: |
Similar Items
-
Inductive logic programming from machine learning to software engineering
by: Bergadano, Francesco
Published: (1995) -
Logic programming formal methods and practical aplications
Published: (1995) -
From logic to logic programming
by: Doets, Kees
Published: (1994) -
Handbook of logic in artificial intelligence and logic programming /
Published: (1998) -
Systems programming
by: Donovan, John J.
Published: (1972)