Limit Search Results
Author
SpringerLink (Online service)
(19)
Abe, Jair Minoro. author.
(1)
Abreu, Pedro H. editor.
(1)
Banerjee, Mohua. editor.
(1)
Bartocci, Ezio. editor.
(1)
Language
Publication Date
-
Subject
Computer science.
(6)
Computer Science Logic and Foundations of Programming.
(5)
Computer science -- Mathematics.
(4)
First-order logic.
(4)
Artificial intelligence.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
29 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Application of graph rewriting to natural language processing
Application of graph rewriting to natural language processing
Author 
Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.
Preferred Shelf Number 
P98
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Author 
Zeume, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54314-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Author 
Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40229-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
Author 
Di Nola, Antonio. author. Grigolia, Revaz. author. Turunen, Esko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30406-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Decision Procedures An Algorithmic Point of View
Decision Procedures An Algorithmic Point of View
Author 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50497-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Power Electronics and Renewable Energy Systems Proceedings of ICPERES 2014
Power Electronics and Renewable Energy Systems Proceedings of ICPERES 2014
Author 
Kamalakannan, C. editor. Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2119-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Proof theory : sequent calculi and related formalisms
Proof theory : sequent calculi and related formalisms
Author 
Bimbo, Katalin, 1963, author.
Preferred Shelf Number 
QA9.54 .B55 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Author 
Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20297-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Author 
Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23820-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Author 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for The logician and the engineer : how George Boole and Claude Shannon created the information age
The logician and the engineer : how George Boole and Claude Shannon created the information age
Author 
Nahin, Paul J.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.cttq957s
Format: 
Availability 
Online Library~1
Available:
Copies: