Refine your search
Availability
-
Series
- Advanced research in...
- Lecture notes in art...
- Lecture notes in art...
- Lecture notes in art...
- Lecture notes in com...
- Lecture notes in com...
- 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, Stu...
- Undergraduate Texts ...
- Universitext
- Show more
- Show less
-
Home libraries
-
Item types
-
Topics
- Artificial intellige...
- Artificial intellige...
- Computer logic.
- Computer science
- Computer science.
- Computer Science.
- Computer software
- COMPUTERS
- Formal methods (Comp...
- Informatique.
- Logic design.
- Logic programming
- Logic programming.
- Logic, Symbolic and ...
- Logic, Symbolic and ...
- Logic.
- Mathematical Logic a...
- Mathematical logic.
- Mathematics.
- Software engineering...
- Show more
- Show less
-
Authors
- Beckert, Bernhard.
- Bruynooghe, M.
- Börger, E.
- Dix, J.
- Eklund, Peter W.,
- Gelbukh, Alexander,
- Hartenstein, Reiner.
- 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.
- Torra, Vicenç.
- Voronkov, Andrei,
- Woodcock, Jim.
- Show more
- Show less
-
Places
- Altrincham <1987>
- Braga <2009>
- Brünn <2010>
- Budapest (2003)
- Darmstadt <2005>
- Dresden <2010>
- Edinburgh <2005>
- Edinburgh <2010>
- Hyderabad <Andra Pra...
- Kanazawa <2010>
- Konstanz <1989>
- Lissabon <2010>
- Orléans <1988>
- Reval <2005>
- Reykjavik <2010>
- Saint Andrews (2005)
- Singapur <2005>
- Tübingen <1989>
- Wien <2005>
- Wien <2006>
- Show more
- Show less
-
Titles
-
Collections