1
Logic Programming and Nonmonotonic Reasoning [E-Book] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings /

Full text 
Favorites
Saved in:
2
Foundations of Information and Knowledge Systems [E-Book] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings /

Full text 
Favorites
Saved in:
3
Developments in Language Theory [E-Book] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings /
Gao, Yuan
2010

Full text 
Favorites
Saved in:
4
Semantics in Databases [E-Book] : Second International Workshop Dagstuhl Castle, Germany, January 7–12, 2001 Revised Papers /

Full text 
Favorites
Saved in:
5
Logic Programming and Nonmonotonic Reasoning [E-Book] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /

Full text 
Favorites
Saved in:
6
Relational and Kleene-Algebraic Methods in Computer Science [E-Book] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 20 /

Full text 
Favorites
Saved in:
7
Relational Methods in Computer Science [E-Book] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin

Full text 
Favorites
Saved in:
8
Developments in Language Theory [E-Book] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
9
Automated Deduction in Geometry [E-Book] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /

Full text 
Favorites
Saved in:
10
Foundations of Information and Knowledge Systems [E-Book] / 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings

Full text 
Favorites
Saved in:
11
Foundations of Information and Knowledge Systems [E-Book] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings /

Full text 
Favorites
Saved in:
12
Modeling Decisions for Artificial Intelligence [E-Book] : 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings /

Full text 
Favorites
Saved in:
13
Foundations of Information and Knowledge Systems [E-Book] : Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings /

Full text 
Favorites
Saved in:
14
Deontic Logic in Computer Science [E-Book] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /

Full text 
Favorites
Saved in:
15
Automated Reasoning [E-Book] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results