1
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [E-Book] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:
2
Algorithmic Learning Theory [E-Book]: 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings /

Full text 
Favorites
Saved in:
3
Algorithmic Learning Theory [E-Book] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings /

Full text 
Favorites
Saved in:
4
Automated Deduction – CADE-24 [E-Book] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /

Full text 
Favorites
Saved in:
5
Computing and Combinatorics [E-Book] : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /

Full text 
Favorites
Saved in:
6
Computing and Combinatorics [E-Book] : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings /

Full text 
Favorites
Saved in:
7
Computing and Combinatorics [E-Book] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /

Full text 
Favorites
Saved in:
8
Foundations of Information and Knowledge Systems [E-Book]: 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /

Full text 
Favorites
Saved in:
9
Foundations of Information and Knowledge Systems [E-Book] : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /

Full text 
Favorites
Saved in:
10
Frontiers of Combining Systems [E-Book] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /

Full text 
Favorites
Saved in:
11
Graph Structures for Knowledge Representation and Reasoning [E-Book]: Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers /

Full text 
Favorites
Saved in:
12
Interactive Theorem Proving [E-Book] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /

Full text 
Favorites
Saved in:
13
Interactive Theorem Proving [E-Book] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /

Full text 
Favorites
Saved in:
14
Interactive Theorem Proving [E-Book] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Full text 
Favorites
Saved in:
15
Language and Automata Theory and Applications [E-Book]: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings /

Full text 
Favorites
Saved in:
16
Language and Automata Theory and Applications [E-Book] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /

Full text 
Favorites
Saved in:
17
Lectures on Logic and Computation [E-Book]: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /

Full text 
Favorites
Saved in:
18
The Logic of Categorial Grammars [E-Book]: A Deductive Account of Natural Language Syntax and Semantics /

Full text 
Favorites
Saved in:
19
Pristine Perspectives on Logic, Language, and Computation [E-Book] : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /

Full text 
Favorites
Saved in:
20
Theory and Applications of Satisfiability Testing – SAT 2012 [E-Book]: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results