Browse Results

Showing 3,926 through 3,950 of 61,740 results
Title Author ISBN Copyright Features Action
Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings (Lecture Notes in Computer Science #10395) 2248029 Leonardo De Moura 9783319630465 2017 Contains images
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science #11716) 4694882 Pascal Fontaine 9783030294366 2019 Contains images
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science #12699) 4199171 André Platzer Geoff Sutcliffe 9783030798765 2021 Contains images
Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings (Lecture Notes in Computer Science #14132) 5636464 Brigitte Pientka Cesare Tinelli 9783031384998 2023 Contains images
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series #9) 4748949 Wolfgang Bibel P. H. Schmitt 9789401704359 1998
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series #10) 4817879 Wolfgang Bibel P. H. Schmitt 9789401704373 1998
Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings (Lecture Notes in Computer Science #1249) 4756294 William McCune 9783540691402 1997
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science #1632) 4670671 Harald Ganzinger 9783540486602 1999
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science #1831) 4678510 David McAllester 9783540451013 2000
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science #2392) 4770705 Andrei Voronkov 9783540456209 2002
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture Notes in Computer Science #2741) 4602858 Franz Baader 9783540450856 2003
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

Refine Search

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