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
Select an Action
561 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
by 
Fisher, Michael. editor.
https://doi.org/10.1007/978-3-642-32897-8
Format: 
Excerpt: 
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier
14. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
by 
Bjørner, Nikolaj. editor.
https://doi.org/10.1007/978-3-642-28717-6
Format: 
Excerpt: 
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR
15. 
Cover image for Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
by 
Durán, Francisco. editor.
https://doi.org/10.1007/978-3-642-34005-5
Format: 
Excerpt: 
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite
16. 
Cover image for Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
by 
Schrijvers, Tom. editor.
https://doi.org/10.1007/978-3-642-29822-6
Format: 
Excerpt: 
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25
17. 
Cover image for Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
by 
Constable, Robert L. editor.
https://doi.org/10.1007/978-3-642-29485-3
Format: 
Excerpt: 
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
18. 
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
by 
Larrosa, Javier. editor.
https://doi.org/10.1007/978-3-642-19486-3
Format: 
Excerpt: 
Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /
19. 
Cover image for Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings
by 
Kuchen, Herbert. editor.
https://doi.org/10.1007/978-3-642-22531-4
Format: 
Excerpt: 
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark
20. 
Cover image for Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
by 
Leite, Joao. editor.
https://doi.org/10.1007/978-3-642-22359-4
Format: 
Excerpt: 
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain
21. 
Cover image for Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
by 
Marino, Julio. editor.
https://doi.org/10.1007/978-3-642-20775-4
Format: 
Excerpt: 
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain
22. 
Cover image for Logic and the Foundations of Game and Decision Theory - LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
Logic and the Foundations of Game and Decision Theory - LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
by 
Bonanno, Giacomo. editor.
https://doi.org/10.1007/978-3-642-15164-4
Format: 
Excerpt: 
Logic and the Foundations of Game and Decision Theory - LOFT 8 8th International Conference
23. 
Cover image for Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
by 
De Schreye, Danny. editor.
https://doi.org/10.1007/978-3-642-12592-8
Format: 
Excerpt: 
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra
24. 
Cover image for Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
by 
Governatori, Guido. editor.
https://doi.org/10.1007/978-3-642-14183-6
Format: 
Excerpt: 
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7
Select an Action