Refine your search
- Availability
-
Authors
- Faltings,Boi (1)
- Furukawa, Koichi, Ed. (1)
- Nerode, Anil, Ed. (1)
- Holding libraries
- Home libraries
-
Item types
- Books (3)
-
Topics
- Artificial Intelligence -- Congresses (1)
- Constraint Programming (Computer Science) -- Congresses (1)
- International Conference On Logic Programming (8th : 1991 : Paris) (1)
- Logic Programming - Congresses (1)
- Logic Programming -- Congresses (1)
- Logic Programming--Congresses (1)
- Reasoning - Congresses (1)