Refine your search
Availability
-
bib-level
- m (2)
-
Authors
- Barwise, Jon (1)
- Gabbay, Dov (1)
- Gabbay, Dov M. (1)
- Metcalfe, George (1)
- Olivetti, Nicola (2)
-
Topics
- Algebra (1)
- Artificial Intelligence (incl. Robotics) (2)
- Artificial intelligence (2)
- Computer Science (1)
- Logic (1)
- Logic, Symbolic and mathematical (1)
- Mathematical Logic and Formal Languages (1)
- Mathematical Logic and Foundations (1)
- Order, Lattices, Ordered Algebraic Structures (1)
- Programming Techniques (1)
- Software Engineering (1)
- Software engineering (1)
- logic (1)
- mathematics (1)
- Show more
- Show less