Limit Search Results
Author
SpringerLink (Online service)
(544)
Gabbay, Dov M. author.
(5)
Schlechta, Karl. author.
(5)
Cooper, S. Barry. editor.
(4)
Löwe, Benedikt. editor.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(324)
Computer science.
(226)
Artificial intelligence.
(189)
Mathematical logic.
(185)
Mathematics.
(136)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
729 Results Found Subscribe to search results
000000000000DEFAULT
Print
301. 
Cover image for Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
Author 
Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54789-8
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
Cover image for Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Author 
Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12214-4
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
Cover image for Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings
Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings
Author 
Davis, Brian. editor. Kaljurand, Kaarel. editor. Kuhn, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10223-8
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Regulated Grammars and Automata
Regulated Grammars and Automata
Author 
Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-0369-6
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Author 
Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14125-1
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
Cover image for Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
Author 
Bulling, Nils. editor. van der Torre, Leendert. editor. Villata, Serena. editor. (orcid)0000-0003-3495-493X Jamroga, Wojtek. editor. Vasconcelos, Wamberto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09764-0
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
Cover image for Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Author 
Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13338-6
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Introduction to mathematical proofs
Introduction to mathematical proofs
Author 
Roberts, Charles, author. Taylor and Francis.
Preferred Shelf Number 
QA9.54
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Commonsense reasoning an event calculus-based approach
Commonsense reasoning an event calculus-based approach
Author 
Mueller, Erik T., author.
Preferred Shelf Number 
ONLINE(355437.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128014165
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Önermeler mantığı
Önermeler mantığı
Author 
Nesin, Ali.
Preferred Shelf Number 
QA270 N476 2013
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
311. 
Cover image for Kurt Gödel Essays for his Centennial
Kurt Gödel Essays for his Centennial
Author 
Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba
Author 
Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Preferred Shelf Number 
ONLINE(331582.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4769-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action