Refine your search
Availability
-
Authors
- Goubault-Larrecq, Je... (5)
- K�nig, Barbara (1)
- König, Barbara (3)
-
Collections
- E-Books EBSCO (1)
- E-Books Open Access (4)
-
Home libraries
-
Item types
- Electronic-Books (5)
-
Series
-
Topics
- Artificial intellige... (3)
- Compilers (Computer ... (1)
- Compilers and Interp... (1)
- Computer engineering (1)
- Computer Engineering... (1)
- Computer networking ... (3)
- Computer programming (1)
- Computer programming... (3)
- Discrete mathematics (3)
- Discrete Mathematics... (1)
- Logic in AI. (1)
- Logic programming (1)
- Mathematical foundat... (3)
- Mathematical logic (1)
- Mathematical Logic a... (1)
- Programming & script... (3)
- Topologie (2)
- Topology (2)
- Show more
- Show less