Limit Search Results
Author
SpringerLink (Online service)
(561)
Bonsangue, Marcello M. editor.
(9)
Voronkov, Andrei. editor.
(8)
Steffen, Bernhard. editor.
(7)
de Boer, Frank S. editor.
(6)
Language
Publication Date
-
2010
(74)
2012
(70)
2011
(63)
2005
(54)
2006
(52)
Subject
Compilers (Computer programs).
(561)
Computer science.
(544)
Computer Science Logic and Foundations of Programming.
(532)
Software engineering.
(466)
Computer programming.
(307)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
561 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
by 
Bramer, Max. author.
https://doi.org/10.1007/978-1-4471-5487-7
Format: 
Excerpt: 
Logic Programming with Prolog Bramer, Max. author.
2. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
by 
Bramer, Max. author.
https://doi.org/10.1007/1-84628-212-8
Format: 
Excerpt: 
Logic Programming with Prolog Bramer, Max. author.
3. 
Cover image for Temporal Logic and State Systems
Temporal Logic and State Systems
by 
Kröger, Fred. author.
https://doi.org/10.1007/978-3-540-68635-4
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
by 
Codish, Michael. editor.
https://doi.org/10.1007/978-3-319-07151-0
Format: 
Excerpt: 
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4
5. 
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
by 
Bulling, Nils. editor.
https://doi.org/10.1007/978-3-319-09764-0
Format: 
Excerpt: 
Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech
6. 
Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
by 
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781
https://doi.org/10.1007/978-3-319-12904-4
Format: 
Excerpt: 
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite
7. 
Cover image for Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
by 
Coecke, Bob. editor.
https://doi.org/10.1007/978-3-642-38164-5
Format: 
Excerpt: 
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays
8. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
by 
McMillan, Ken. editor.
https://doi.org/10.1007/978-3-642-45221-5
Format: 
Excerpt: 
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR
9. 
Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
by 
Leite, João. editor.
https://doi.org/10.1007/978-3-642-40624-9
Format: 
Excerpt: 
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain
10. 
Cover image for Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
by 
Erdem, Esra. editor.
https://doi.org/10.1007/978-3-642-30743-0
Format: 
Excerpt: 
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz / Erdem, Esra. editor.
11. 
Cover image for New Directions in Logic, Language, and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers
New Directions in Logic, Language, and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers
by 
Lassiter, Daniel. editor.
https://doi.org/10.1007/978-3-642-31467-4
Format: 
Excerpt: 
New Directions in Logic, Language, and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions
12. 
Cover image for The Logic of Categorial Grammars A deductive account of natural language syntax and semantics
The Logic of Categorial Grammars A deductive account of natural language syntax and semantics
by 
Moot, Richard. author.
https://doi.org/10.1007/978-3-642-31555-8
Format: 
Excerpt: 
The Logic of Categorial Grammars A deductive account of natural language syntax and semantics /
Go to:Search Results
|
Search Facets
|
Top of Page