Refine your search
Availability
-
Authors
- Baldoni, Matteo (1)
- Balduccini, Marcello (1)
- Riemsdijk, M. Birna (1)
- Son, Tran Cao (2)
- Winikoff, Michael (1)
-
Holding libraries
-
Home libraries
-
Item types
- Ebooks (2)
-
Series
-
Topics
- Artificial intellige... (2)
- Artificial Intellige... (2)
- Computer Communicati... (1)
- Computer Science (2)
- Computer science (2)
- Logic design (1)
- Logics and Meanings ... (1)
- Mathematical Logic a... (1)
- Models and Principle... (1)
- Programming Language... (1)
- Programming Techniqu... (1)
- Software engineering (1)
- Software Engineering (1)
- Show more
- Show less