Limit Search Results
Author
SpringerLink (Online service)
(407)
Voronkov, Andrei. editor.
(13)
Arbab, Farhad. editor.
(4)
Barthe, Gilles. editor.
(4)
Bonsangue, Marcello M. editor.
(4)
Language
English
(407)
Publication Date
-
2010
(69)
2011
(48)
2008
(44)
2009
(44)
2012
(44)
Subject
Programming Techniques.
(407)
Computer science.
(383)
Computer Science Logic and Foundations of Programming.
(367)
Software engineering.
(320)
Compilers (Computer programs).
(307)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
407 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 Probabilistic Inductive Logic Programming
Probabilistic Inductive Logic Programming
by 
De Raedt, Luc. editor.
https://doi.org/10.1007/978-3-540-78652-8
Format: 
Excerpt: 
Probabilistic Inductive Logic Programming De Raedt, Luc. editor.
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 Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
by 
Zaverucha, Gerson. editor.
https://doi.org/10.1007/978-3-662-44923-3
Format: 
Excerpt: 
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August
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 Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
by 
Cariani, Fabrizio. editor.
https://doi.org/10.1007/978-3-319-08615-6
Format: 
Excerpt: 
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July
8. 
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
by 
Gupta, Gopal. editor.
https://doi.org/10.1007/978-3-319-14125-1
Format: 
Excerpt: 
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid
9. 
Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
by 
Cabalar, Pedro. editor.
https://doi.org/10.1007/978-3-642-40564-8
Format: 
Excerpt: 
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna
10. 
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
11. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
by 
Albert, Elvira. editor.
https://doi.org/10.1007/978-3-642-38197-3
Format: 
Excerpt: 
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven
12. 
Cover image for Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers
by 
Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
https://doi.org/10.1007/978-3-642-38812-5
Format: 
Excerpt: 
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September
Select an Action