Refine your search
Availability
-
Authors
- Achten, Peter
- Bertacco, Valeria
- Bonacina, Maria Paol...
- Cabalar, Pedro
- Cellier, Peggy
- Jain, Sanjay
- Konstantinidis, Stav...
- Kühnberger, Kai-Uwe
- Logozzo, Francesco
- Lukasiewicz, Thomas
- Mares, Edwin
- Morrill, Glyn
- Schwartz, Richard L.
- Subrahmanian, V.S.
- Tanaka, Koji
- Timm, Ingo J.
- Veanes, Margus
- Voronkov, Andrei
- Show more
- Show less
-
Item types
-
Series
- Atlantis Studies in ...
- Bolyai Society Mathe...
- Cognitive Technologi...
- Communications in Co...
- IFIP Advances in Inf...
- Lecture Notes in Com...
- Logic, Argumentation...
- Logic, Epistemology,...
- Schriften der Mathem...
- SpringerBriefs in Co...
- Studies in Fuzziness...
- Texts in Computer Sc...
- Undergraduate Topics...
- UNITEXT,
- Universitext
- Show more
- Show less
-
Topics
- Artificial Intellige...
- Artificial intellige...
- Coding and Informati...
- Coding theory
- Computer programming
- Computer science
- Computer Science
- Health informatics
- Mathematical logic
- Mathematical Logic a...
- Ontology
- Programming language...
- Simulation and Model...
- Software engineering
- Software Engineering
- Show more
- Show less