Limit Search Results
Author
SpringerLink (Online service)
(183)
Project Muse.
(4)
Blair, J. Anthony, contributor.
(3)
Eemeren, Frans Η. van, contributor.
(3)
Gabbay, Dov M. editor.
(3)
Language
Subject
Computer science.
(139)
Logic design.
(114)
Software engineering.
(80)
Artificial intelligence.
(54)
Logic, Symbolic and mathematical.
(51)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
286 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Author 
Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19486-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Author 
Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20832-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Author 
Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20895-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
Author 
Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20920-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
Author 
Frasconi, Paolo. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21295-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
Author 
Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21350-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Author 
Pogodalla, Sylvain. editor. Quatrini, Myriam. editor. Retoré, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21490-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Author 
Vasyukevich, Vadim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21611-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic
Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic
Author 
Rini, Adriane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0050-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computational Logic and Set Theory Applying Formalized Logic to Analysis
Computational Logic and Set Theory Applying Formalized Logic to Analysis
Author 
Schwartz, Jacob T. author. Cantone, Domenico. author. Omodeo, Eugenio G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-808-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Mathematical Logic and Model Theory A Brief Introduction
Mathematical Logic and Model Theory A Brief Introduction
Author 
Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2176-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advanced Techniques in Logic Synthesis, Optimizations and Applications
Advanced Techniques in Logic Synthesis, Optimizations and Applications
Author 
Gulati, Kanupriya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7518-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action