- Home ›
- Results of search for 'ccl=itype:EBK and su-to:Artificial intelligence and su-to:Computers. and su-to:Computer logic.'
Refine your search
Availability
-
Authors
- Dillig, Isil. (1)
- Goubault-Larrecq, Je... (1)
- König, Barbara. (1)
- Tasiran, Serdar. (1)
-
Item types
- e-Books (2)
-
Series
-
Topics
- Artificial intellige... (2)
- Computer logic. (2)
- Computer organizatio... (1)
- Computer programming... (1)
- Computer science—Mat... (1)
- Computer system fail... (1)
- Computer Systems Org... (1)
- Computers. (1)
- Discrete Mathematics... (1)
- Logic in AI. (2)
- Logics and Meanings ... (1)
- Mathematical Logic a... (1)
- Mathematical Logic a... (1)
- Mathematical logic. (2)
- Programming language... (1)
- Programming Language... (1)
- Software Engineering... (1)
- Software engineering... (1)
- System Performance a... (1)
- The Computing Profes... (1)
- Show more
- Show less