Limit Search Results
Author
SpringerLink (Online service)
(110)
Baldoni, Matteo. editor.
(2)
Bjørner, Dines. author.
(2)
Dix, Jürgen. editor.
(2)
Endriss, Ulle. editor.
(2)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
110 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
Author 
Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Rigid Flexibility The Logic of Intelligence
Rigid Flexibility The Logic of Intelligence
Author 
Wang, Pei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5045-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computation Engineering Applied Automata Theory and Logic
Computation Engineering Applied Automata Theory and Logic
Author 
Gopalakrishnan, Ganesh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-32520-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
Author 
Bloch, Isabelle. editor. Petrosino, Alfredo. editor. Tettamanzi, Andrea G. B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11676935
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Author 
Hill, Patricia M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11680093
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Author 
Bollig, Benedikt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32923-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
Author 
Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11737414
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
Author 
Toni, Francesca. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11750734
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Author 
Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11874683
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
Author 
Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11799573
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Author 
Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-36874-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
Author 
Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11916277
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action