Refine your search
Availability
-
Authors
- Padawitz, Peter (1)
-
Item types
- Books (2)
-
Locations
-
Series
-
Topics
- Horn clauses (1)
- Horn clauses - Congr... (1)
- Logic programming (1)
- Logic programming-Co... (1)