Refine your search
Availability
-
Authors
- Autexier, Serge
- Benhamou, Belaid
- Calmet, Jacques
- Campbell, John
- Caprotti, Olga
- Carette, Jacques
- Dos Reis, Gabriel
- Henocque, Laurent
- Jeuring, Johan
- Kaliszyk, Cezary
- Kerber, Manfred
- Rabe, Florian
- Rubio, Julio
- Sojka, Petr
- Sorge, Volker
- Suzuki, Masakazu
- Wenzel, Makarius
- Wiedijk, Freek
- Show more
- Show less
-
Item types
-
Series
-
Topics
- Application software
- Artificial Intellige...
- Artificial intellige...
- Computer and Informa...
- Computer Communicati...
- Computer science
- Computer Science Log...
- Data mining
- Data Mining and Know...
- Discrete Mathematics...
- Formal Languages and...
- Information storage ...
- Information Storage ...
- Machine theory
- Mathematical Applica...
- Natural Language Pro...
- Numerical Analysis
- Symbolic and Algebra...
- Theory of Computatio...
- Show more
- Show less