Refine your search
Availability
-
Authors
- Aart, Chris
- Abonyi, János
- Beziau, Jean-Yves
- Calisti, Monique
- Castro, Alfredo Berm...
- Catalano, Dario
- Cervenka, Radovan
- Cortés, Ulises
- Darmgård, Ivan
- Feil, Balázs
- Klusch, Matthias
- Leung, Ho-fung
- Ossowski, Sascha
- Pautasso, Cesare
- Pavón, Juan
- Strassner, John
- Takagi, Tsuyoshi
- Thompson, Simon G.
- Urdiales, Cristina
- Wang, Dongming
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Applications of Math...
- Artificial intellige...
- Artificial Intellige...
- Computational Mathem...
- Computer Communicati...
- Computer network arc...
- Computer science
- Computer Science
- Computer Systems Org...
- Differential equatio...
- Information systems
- Information Systems ...
- Logic, Symbolic and ...
- Mathematical Logic a...
- Mathematical Logic a...
- Mathematics
- Partial Differential...
- Programming Techniqu...
- Software engineering
- Software Engineering...
- Show more
- Show less