Refine your search
Availability
-
Authors
- Beckert, Bernhard
- Bruynooghe, M.
- Börger, E.
- Dix, J.
- Eklund, Peter W.
- Gelbukh, Alexander
- Hartenstein, Reiner
- Leite, João Alexandr...
- Liu, Zhiming
- Nerode, Anil
- Pereira, Luís Moniz
- Petrosino, Alfredo
- Queiroz, Ruy J. G. B...
- Rahwan, Iyad
- Ralescu, Anca L.
- Rodríguez Artalejo, ...
- Rozenberg, Grzegorz
- Skowron, Andrzej
- Voronkov, Andrei
- Woodcock, Jim
- Show more
- Show less
-
Collections
-
Home libraries
-
Item types
-
Series
- Advanced research in...
- Lecture notes in art...
- Lecture notes in com...
- Lecture Notes in Com...
- Lecture notes in com...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary: SL ...
- Serienbezeichnung
- Springer Monographs ...
- Studies in Universal...
- Trends in Logic
- Trends in Logic, Stu...
- Undergraduate Texts ...
- Universitext
- Show more
- Show less
-
Places
- Altrincham <1987>
- Braga <2009>
- Brünn <2010>
- Budapest (2003)
- Darmstadt <2005>
- Dresden <2010>
- Edinburgh <2005>
- Edinburgh <2010>
- Indianapolis <Ind., ...
- Konstanz <1989>
- Kopenhagen <2002>
- Lissabon <2010>
- Orléans <1988>
- Reval <2005>
- Reykjavik <2010>
- Saint Andrews (2005)
- Singapur <2005>
- Trient <1986>
- Tübingen <1989>
- Wien <2006>
- Show more
- Show less
-
Topics
- Artificial intellige...
- Computer logic
- Computer science
- Computer software
- COMPUTERS
- Formal methods (Comp...
- Informatique
- Logic
- Logic design
- Logic programming
- Logic, Symbolic and ...
- Mathematical logic
- Mathematical Logic a...
- Mathematics
- Programming language...
- Software engineering
- Show more
- Show less
-
Titles