Browse Results

Showing 3,926 through 3,950 of 61,626 results
Title Author ISBN Copyright Features Action
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science #4603) 4799451 Frank Pfenning 9783540735953 2007
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science #6803) 4823033 Nikolaj Bjørner Viorica Sofronie-Stokkermans 9783642224386 2011
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science #7898) 4699026 Maria Paola Bonacina 9783642385742 2013
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science #1761) 4798390 Ricardo Caferra Gernot Salzer 9783540465089 2000
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science #9201) 2831264 Francisco Botana Pedro Quaresma 9783319213620 2015 Contains images
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes in Computer Science #4869) 4718768 Francisco Botana Tomas Recio 9783540773566 2007
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science #1669) 4661809 Xiao-Lu Gao Dongming Wang Lu Yang 9783540479970 1999
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers (Lecture Notes in Computer Science #3763) 4687282 Hoon Hong Dongming Wang 9783540313632 2006
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science #7993) 4770785 Tetsuo Ida Jacques Fleuriot 9783642406720 2013
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer Science #2061) 4794502 Jürgen Richter-Gebert Dongming Wang 9783540454106 2001
Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers (Lecture Notes in Computer Science #6877) 4792091 Pascal Schreck Julien Narboux Jürgen Richter-Gebert 9783642250705 2011
Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers (Lecture Notes in Computer Science #6301) 4752712 Thomas Sturm Christoph Zengler 9783642210464 2011
Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science #2930) 4719527 Franz Winkler 9783540246169 2004
Automated Mathematical Induction 4794337 Hantao Hantao Zhang 9789400916753 1996
Automated Model Building (Applied Logic Series #31) 3732035 Ricardo Caferra Alexander Leitsch Nicolas Peltier 9781402026539 2004
Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) 4662443 Jochen Pfalzgraf J. Cunningham Dongming Wang 9783709166048 1995
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings (Lecture Notes in Computer Science #5195) 4676198 Alessandro Armando Peter Baumgartner Gilles Dowek 9783540710707 2008
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science #3097) 4719554 David Basin Michael Rusinowitch 9783540259848 2004
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Lecture Notes in Computer Science #13385) 4842123 Jasmin Blanchette Laura Kovács Dirk Pattinson 9783031107696 2022 Contains images
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Lecture Notes in Computer Science #8562) 2810736 Stéphane Demri Deepak Kapur Christoph Weidenbach 9783319085876 2014
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science #4130) 4807813 Ulrich Furbach Natarajan Shankar 9783540371885 2006
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (Lecture Notes in Computer Science #10900) 2265839 Didier Galmiche Stephan Schulz Roberto Sebastiani 9783319942056 2018 Contains images
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science #2083) 4682232 Rajeev Gore Alexander Leitsch Tobias Nipkow 9783540457442 2001
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings (Lecture Notes in Computer Science #7364) 4634035 Bernhard Gramlich Dale Miller Ulrike Sattler 9783642313653 2012
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings (Lecture Notes in Computer Science #6173) 4216682 Reiner Hähnle Jürgen Giesl 9783642142031 2010

Refine Search

Showing 3,926 through 3,950 of 61,626 results