Refine your search
Availability
-
Bibliographic level
- Книги (3)
-
Authors
- Beckert, Bernhard (2)
- Beck, J. Christopher (1)
- Hähnle, Reiner (1)
- Schmitt, Peter H. (1)
- Smith, Barbara (1)
-
Topics
- Artificial Intelligence (incl. Robotics) [x]
- Artificial intelligence (3)
- Computer Science (3)
- Mathematical Logic and Formal Languages (2)
- Software Engineering (2)
- Software engineering (2)
- Algorithm Analysis and Problem Complexity (1)
- Combinatorics (1)
- Computational complexity (1)
- Computer science (1)
- Computer software (1)
- Discrete Mathematics in Computer Science (1)
- Electronic data processing (1)
- Logic design (1)
- Logics and Meanings of Programs (1)
- Numeric Computing (1)
- Operations Research/Decision Theory (1)
- Programming Languages, Compilers, Interpreters (1)
- Programming Techniques (1)
- Show more
- Show less