Refine your search
Availability
-
Authors
- Anderson, Stuart (1)
- Dahan, Arik (1)
- Dulf, Eva H. (1)
- Fantuzzi, Nicholas (1)
- Gonzalez-Alvarez, Ma... (1)
- Kaczorek, Ewa (1)
- Krawczuk, Marek (1)
- Leong, Sze Ying (1)
- Lyubetsky, Vassily (1)
- Mostowski, Wojciech (3)
- Muresan, Cristina I. (1)
- Oey, Indrawati (1)
- Palacz, Magdalena (1)
- Platzer, Andr (1)
- Platzer, André (2)
- Sutcliffe, Geoff (3)
- Tiemann, Michael (1)
- Ulbrich, Mattias (3)
- Wu, Yanlin (1)
- Wybraniec-Skardowska... (1)
- Show more
- Show less
-
Collections
- E-Books EBSCO (4)
- E-Books Open Access (23)
-
Home libraries
-
Item types
- Electronic-Books (27)
-
Series
-
Topics
- Algebra, Boolean (1)
- Artificial intellige... (3)
- Computer programming... (3)
- Computing & informat... (3)
- First-order logic (4)
- Game theory (1)
- History of engineeri... (6)
- Hyperespace (1)
- Hyperspace (1)
- Logic, Symbolic and ... (1)
- Logique du premier o... (4)
- Mathematical theory ... (3)
- MATHEMATICS (3)
- Mathematics & scienc... (2)
- Model theory (1)
- Research & informati... (3)
- Software Engineering (3)
- Syllogisme (1)
- Technology: general ... (5)
- Théorie des modèles (1)
- Show more
- Show less