Refine your search
Availability
-
Authors
- Blockeel, Hendrik
- Bock, Hans Georg
- Carrell, James B.
- Cohen, Serge
- Fomin, Fedor V.
- Freivalds, Rūsiņš
- Groen, Frans C. A.
- Guo, Chengan
- Hou, Zeng-Guang
- Kersting, Kristian
- Kösters, Holger
- Nagel, Wolfgang E.
- Nielsen, Frank
- Nijssen, Siegfried
- Resch, Michael M.
- Sako, Kazue
- Shafarevich, Igor R.
- Tan, Ying
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
- Bolyai Society Mathe...
- Contributions in Mat...
- Differential-Algebra...
- Geometry and Computi...
- Intelligent Systems ...
- Lecture Notes in Bus...
- Lecture Notes in Com...
- Lecture Notes in Com...
- Lecture Notes in Mat...
- Lecture notes in mat...
- Mathématiques et App...
- Probability and Its ...
- Springer Finance
- Springer Monographs ...
- Springer Proceedings...
- Springer Theses, Rec...
- Studies in Computati...
- Studies in Fuzziness...
- Texts in Computation...
- Understanding Comple...
- Show more
- Show less
-
Topics
- Acoustics
- Appl.Mathematics/Com...
- Applied mathematics
- Coding and Informati...
- Coding theory
- Computational lingui...
- Computer mathematics
- Engineering
- Engineering mathemat...
- Management science
- Mathematical logic
- Mathematical Logic a...
- Mathematical Logic a...
- Mathematics
- Philosophy
- Theory of Computatio...
- Show more
- Show less