Refine your search
Availability
-
Authors
- Balbo, Gianfranco
- Baldoni, Matteo
- Bertacco, Valeria
- Boer, Frank S. de
- Damiani, Ferruccio
- D’Argenio, Pedro R.
- Ermolayev, Vadim
- Jensen, Kurt
- Libkin, Leonid
- Maciaszek, Leszek A.
- Mayr, Heinrich C.
- Seising, Rudolf
- Shang, Delong
- Spivakovsky, Aleksan...
- Subrahmanian, V.S.
- Trillas, Enric
- Voronkov, Andrei
- Xu, Weixia
- Show more
- Show less
-
Item types
-
Series
- Bolyai Society Mathe...
- Cognitive Technologi...
- Communications in Co...
- IFIP Advances in Inf...
- Language from within
- Lecture Notes in Com...
- Lecture Notes in Ele...
- Logic, Epistemology,...
- Philosophische Analy...
- Proceedings in Infor...
- Science Networks. Hi...
- SpringerBriefs in Co...
- Studies in Fuzziness...
- Studies in History a...
- Studies in Universal...
- Synthese Library, St...
- Texts in Computer Sc...
- Undergraduate Texts ...
- Undergraduate Topics...
- Universitext
- Show more
- Show less
-
Topics
- Artificial intellige...
- Artificial Intellige...
- Coding and Informati...
- Coding theory
- Computer mathematics
- Computer programming
- Computer science
- Computer Science
- Induction (Mathemati...
- Law
- Mathematical logic
- Mathematical Logic a...
- Mathematics
- Mathematics of Algor...
- Ontology
- Text processing (Com...
- Show more
- Show less