Refine your search
- Availability
-
Authors
- Kroening, Daniel (1)
- Kroening, Daniel. (1)
- Strichman, Ofer (1)
- Strichman, Ofer. (1)
- Holding libraries
- Home libraries
-
Item types
- E books (2)
-
Series
-
Topics
- Artificial Intelligence (incl. Robotics). (1)
- Artificial intelligence. (1)
- Computer logic. (1)
- Computer science (1)
- Computer science. (1)
- Computer Science. (1)
- Computers. (1)
- Decision making -- Mathematical models (1)
- Logic, Symbolic and mathematical (1)
- Logics and Meanings of Programs. (1)
- Mathematical Logic and Formal Languages. (1)
- Mathematical logic. (1)
- Software engineering (1)
- Software engineering. (1)
- Software Engineering. (1)
- Theory of Computation. (1)
Your search returned 2 results.
