Refine your search
Availability
-
Authors
- Bouchon-Meunier, Ber...
- Dediu, Adrian-Horia
- Gabbay, Dov M.
- Gelbukh, Alexander
- Greco, Salvatore
- Martín-Vide, Carlos
- Meseguer, José
- Peters, James F.
- Potapov, Igor
- Păun, Gheorghe
- Queiroz, Ruy de
- Roth-Berghofer, Thom...
- Rozenberg, Grzegorz
- Rudolph, Sebastian
- Salomaa, Arto
- Schewe, Klaus-Dieter
- Skowron, Andrzej
- Voronkov, Andrei
- Yager, Ronald R.
- Yao, JingTao
- Show more
- Show less
-
Item types
-
Locations
-
Series
- Applied Logic Series
- Atlantis Studies in ...
- Bolyai Society Mathe...
- Cognitive Technologi...
- Communications in Co...
- IFIP Advances in Inf...
- Janua linguarum. Ser...
- Lecture Notes in Com...
- Logic, Argumentation...
- Logic, Epistemology,...
- Outstanding Contribu...
- Schriften der Mathem...
- SpringerBriefs in Co...
- Studies in Fuzziness...
- Synthese Library, St...
- Trends in Logic
- Trends in Logic, Stu...
- Undergraduate Topics...
- UNITEXT,
- Universitext
- Show more
- Show less
-
Topics
- Algorithm Analysis a...
- Algorithms
- Artificial intellige...
- Artificial Intellige...
- Computation by Abstr...
- Computer logic
- Computer programming
- Computer science
- Computer Science
- Computers
- Discrete Mathematics...
- Logics and Meanings ...
- Mathematical logic
- Mathematical Logic a...
- Programming language...
- Programming Language...
- Programming Techniqu...
- Software engineering
- Software Engineering
- Show more
- Show less