Limit Search Results
Author
SpringerLink (Online service)
(329)
Löwe, Benedikt. editor.
(8)
Rozenberg, Grzegorz. editor.
(6)
de Queiroz, Ruy. editor.
(6)
Potapov, Igor. editor. (orcid)0000-0002-7192-7853
(5)
Language
Publication Date
-
2006
(43)
2007
(39)
2009
(38)
2012
(33)
2014
(33)
Subject
Computer science.
(329)
Computer Science Logic and Foundations of Programming.
(260)
Formal Languages and Automata Theory.
(189)
Machine theory.
(189)
Software engineering.
(141)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
329 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for The Nature of Computation: Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
The Nature of Computation: Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
by 
Bonizzoni, Paola. editor.
https://doi.org/10.1007/978-3-642-39053-1
Format: 
Excerpt: 
The Nature of Computation: Logic, Algorithms, Applications 9th Conference on Computability in
14. 
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
15. 
Cover image for Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers
Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers
by 
Muggleton, Stephen. editor.
https://doi.org/10.1007/978-3-642-31951-8
Format: 
Excerpt: 
Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July
16. 
Cover image for Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
by 
van Ditmarsch, Hans. editor.
https://doi.org/10.1007/978-3-642-24130-7
Format: 
Excerpt: 
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China
17. 
Cover image for Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers
Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers
by 
Frasconi, Paolo. editor.
https://doi.org/10.1007/978-3-642-21295-6
Format: 
Excerpt: 
Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30
18. 
Cover image for Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011, Proceedings
Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011, Proceedings
by 
Balasubramaniam, P. editor.
https://doi.org/10.1007/978-3-642-19263-0
Format: 
Excerpt: 
Control, Computation and Information Systems First International Conference on Logic, Information
19. 
Cover image for Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
by 
Beklemishev, Lev D. editor.
https://doi.org/10.1007/978-3-642-20920-8
Format: 
Excerpt: 
Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011
20. 
Cover image for Proofs and Algorithms An Introduction to Logic and Computability
Proofs and Algorithms An Introduction to Logic and Computability
by 
Dowek, Gilles. author.
https://doi.org/10.1007/978-0-85729-121-9
Format: 
Excerpt: 
Proofs and Algorithms An Introduction to Logic and Computability / Dowek, Gilles. author.
21. 
Cover image for Computational Logic and Set Theory Applying Formalized Logic to Analysis
Computational Logic and Set Theory Applying Formalized Logic to Analysis
by 
Schwartz, Jacob T. author.
https://doi.org/10.1007/978-0-85729-808-9
Format: 
Excerpt: 
Computational Logic and Set Theory Applying Formalized Logic to Analysis / Schwartz, Jacob T
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 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
24. 
Cover image for Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
by 
Dawar, Anuj. editor.
https://doi.org/10.1007/978-3-642-13824-9
Format: 
Excerpt: 
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia
Select an Action