Refine your search
Availability
-
Authors
- Apt, Krzysztof R. (1)
- Kakas, Antonis C. (1)
- Sadri, Fariba (1)
-
Item types
-
Locations
- Lower Floor (2)
-
Series
-
Topics
- Automatic theorem proving (1)
- Logic programming (2) [x]