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
Automated Reasoning [E-Book]: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /

Full text 
Favorites
Saved in:
6
Automated Reasoning [E-Book] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /

Full text 
Favorites
Saved in:
7
Automated Reasoning and Mathematics [E-Book] : Essays in Memory of William W. McCune /

Full text 
Favorites
Saved in:
8
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /

Full text 
Favorites
Saved in:
9
Brain-Inspired Computing [E-Book] : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
10
Certified Programs and Proofs [E-Book] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /

Full text 
Favorites
Saved in:
11
Certified Programs and Proofs [E-Book] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /

Full text 
Favorites
Saved in:
12
Computational Issues in Fluid Construction Grammar [E-Book]: A New Formalism for the Representation of Lexicons and Grammars /

Full text 
Favorites
Saved in:
13
Computational Logic in Multi-Agent Systems [E-Book]: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /

Full text 
Favorites
Saved in:
14
Computational Logic in Multi-Agent Systems [E-Book] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /

Full text 
Favorites
Saved in:
15
Computational Logic in Multi-Agent Systems [E-Book] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /

Full text 
Favorites
Saved in:
16
Computational Science - ICCS 2019 [E-Book] : 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part I /

Full text 
Favorites
Saved in:
17
Computational Science - ICCS 2019 [E-Book] : 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part III /

Full text 
Favorites
Saved in:
18
Computational Science - ICCS 2020 [E-Book] : 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I /

Full text 
Favorites
Saved in:
19
Computer Aided Verification [E-Book]: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /

Full text 
Favorites
Saved in:
20
Computer Safety, Reliability, and Security [E-Book]: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results