Refine your search
Availability
-
Authors
- Buchberger, Bruno
- Calmet, Jacques
- Campbell, John
- Campbell, John A.
- Carette, Jacques
- de Groote, Philippe
- Ganzha, V.G.
- Gerdt, Vladimir P.
- Ida, Tetsuo
- Koepf, Wolfram
- Löwe, Benedikt
- Mayr, Ernst W.
- Morrill, Glyn
- Nederhof, Mark-Jan
- Schneider, Carsten
- Sojka, Petr
- Sorge, Volker
- Vorozhtsov, E.V.
- Vorozhtsov, Evgenii ...
- Wittgenstein, Ludwig
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
- Advances in Informat...
- Dover books on advan...
- Dover books on mathe...
- Graduate texts in co...
- Lecture Notes in Art...
- Lecture Notes in Bio...
- Lecture Notes in Com...
- Princeton science li...
- Programming and Soft...
- Progress in computer...
- Schaum's outline ser...
- Security and Cryptol...
- SpringerBriefs in Co...
- Student methemetical...
- Systems, Models, Inf...
- Texts & Monographs i...
- Texts in Theoretical...
- Theoretical Computer...
- Undergraduate texts ...
- Universitext
- Show more
- Show less
-
Topics
- Algorithms
- Artificial intellige...
- Artificial Intellige...
- Computer science
- Computer Science Log...
- Discrete mathematics
- Discrete Mathematics...
- Formal Languages and...
- Logic, Symbolic and ...
- Machine theory
- Mathematical Applica...
- Mathematical logic
- Mathematical Logic a...
- Mathematics
- Numerical Analysis
- Numerical analysis
- Symbolic and Algebra...
- Theory of Computatio...
- Show more
- Show less