Refine your search
Availability
-
Authors
- Baader, Franz
- Beek, Peter
- Benhamou, Frédéric
- Bessière, Christian
- Dahl, Véronica
- Etalle, Sandro
- Gabbrielli, Maurizio
- Garcia de la Banda, ...
- Garrigue, Jacques
- Giesl, Jürgen
- Gupta, Gopal
- Hagiya, Masami
- Hentenryck, Pascal
- Niemelä, Ilkka
- Pfenning, Frank
- Pontelli, Enrico
- Stuckey, Peter J.
- Truszczyński, Mirosł...
- Voronkov, Andrei
- Wadler, Philip
- Show more
- Show less
-
Holding libraries
-
Item types
- Libro Electrónico [x]
-
Locations
-
Series
- Lecture Notes in Com... [x]
-
Topics
- Algebra
- Artificial Intellige...
- Artificial intellige... [x]
- Computer Appl. in Ad...
- Computer science
- Computer Science
- Information systems
- Logic design
- Logics and Meanings ... [x]
- Mathematical Logic a... [x]
- Programming Language... [x]
- Programming Techniqu...
- Symbolic and Algebra...
- Show more
- Show less