Refine your search
Availability
-
Authors
- Balbo, Gianfranco
- Baldoni, Matteo
- Bertacco, Valeria
- Boer, Frank S. de
- Damiani, Ferruccio
- D’Argenio, Pedro R.
- Ermolayev, Vadim
- Farrell, Joyce
- Jensen, Kurt
- Maciaszek, Leszek A.
- Markov, Igor L.
- Mayr, Heinrich C.
- Seising, Rudolf
- Shang, Delong
- Spivakovsky, Aleksan...
- Trillas, Enric
- Voronkov, Andrei
- Xu, Weixia
- Show more
- Show less
-
Collections
-
Holding libraries
- Library, Institute of Information and Communication Technology
- Central Library, SUST
- Seminar Library, Department of Computer Science & Engineering
- Seminar Library, Department of Industrial & Production Engineering
- Seminar Library, Department of Mathematics
- Seminar Library, Department of Physics
- Show more
- Show less
-
Item types
-
Locations
-
Series
- Bolyai Society Mathe...
- Cambridge mathematic...
- Chapman & Hall/CRC s...
- Communications in Co...
- Lecture Notes in Com...
- Lecture notes in com...
- Lecture notes in com...
- Lecture Notes in Ele...
- Logic, Argumentation...
- Logic, Epistemology,...
- McGraw-Hill series i...
- McGraw-Hill series i...
- Philosophische Analy...
- Schaum's outline ser...
- SpringerBriefs in Co...
- Studies in Fuzziness...
- Studies in Universal...
- Synthese Library, St...
- Undergraduate Texts ...
- 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