Refine your search
Availability
-
Authors
- Aspinall, David
- Bigatti, Anna Maria
- Campbell, John
- Carette, Jacques
- Davenport, James H.
- de Wolff, Timo
- Dixon, Lucas
- Dos Reis, Gabriel
- Jeuring, Johan
- Joswig, Michael
- Kaliszyk, Cezary
- Kerber, Manfred
- Lange, Christoph
- Rabe, Florian
- Sacerdoti Coen, Clau...
- Sojka, Petr
- Sorge, Volker
- Watt, Stephen
- Wenzel, Makarius
- Windsteiger, Wolfgan...
- Show more
- Show less
-
Item types
-
Series
-
Topics
- Application software
- Artificial Intellige...
- Artificial intellige...
- Computer Communicati...
- Computer science
- Computer Science Log...
- Computer System Impl...
- Computer systems
- Data Mining and Know...
- Formal Languages and...
- Information storage ...
- Information Storage ...
- Machine theory
- Mathematical Applica...
- Natural Language Pro...
- Natural language pro...
- Special Purpose and ...
- Symbolic and Algebra...
- Theory of Computatio...
- Show more
- Show less