Limit Search Results
Author
Voronkov, Andrei. editor.
(18)
Bonsangue, Marcello M. editor.
(11)
Boer, Frank S. editor.
(10)
Potapov, Igor. editor.
(9)
Rozenberg, Grzegorz. editor.
(9)
Language
Publication Date
-
2013
(203)
2011
(183)
2019
(164)
2012
(163)
2007
(153)
Subject
Computer science.
(1242)
Logic design.
(1118)
Software engineering.
(874)
Artificial intelligence.
(601)
Computer Communication Networks.
(294)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2011 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331207.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Logic: A Brief Course
Logic: A Brief Course
Author 
Mundici, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2361-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Aspects of Mathematical Logic
Aspects of Mathematical Logic
Author 
Casari, E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11080-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Memory-Based Logic Synthesis
Memory-Based Logic Synthesis
Author 
Sasao, Tsutomu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8104-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic and Integer Programming
Logic and Integer Programming
Author 
Williams, H. Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-92280-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
Author 
Braüner, Torben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Gentzen Calculi for Modal Propositional Logic
Gentzen Calculi for Modal Propositional Logic
Author 
Poggiolesi, Francesca. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9670-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Handbook of Philosophical Logic Volume 16
Handbook of Philosophical Logic Volume 16
Author 
Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0479-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Handbook of Philosophical Logic Volume 15
Handbook of Philosophical Logic Volume 15
Author 
Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0485-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Games: Unifying Logic, Language, and Philosophy
Games: Unifying Logic, Language, and Philosophy
Author 
Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Mathematical Logic Foundations for Information Science
Mathematical Logic Foundations for Information Science
Author 
Li, Wei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action