Browse Results

Showing 3,951 through 3,975 of 61,891 results
Title Author ISBN Copyright Features Action
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
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings (Lecture Notes in Computer Science #9706) 2847652 Nicola Olivetti Ashish Tiwari 9783319402291 2016 Contains images
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science #12167) 3487412 Nicolas Peltier Viorica Sofronie-Stokkermans 9783030510541 2020 Contains images
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science #12166) 4838570 Nicolas Peltier Viorica Sofronie-Stokkermans 9783030510749 2020 Contains images
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Computer Science #7788) 4805271 Maria Paola Bonacina Mark E. Stickel 9783642366758 2013
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings (Lecture Notes in Computer Science #3702) 4626546 Bernhard Beckert 9783540318224 2005
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings (Lecture Notes in Computer Science #6793) 4816877 Kai Brünnler George Metcalfe 9783642221194 2011
Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Lecture Notes in Computer Science #11714) 4719267 Serenella Cerrito Andrei Popescu 9783030290269 2019 Contains images

Refine Search

Showing 3,951 through 3,975 of 61,891 results