Browse Results

Showing 4,901 through 4,925 of 55,525 results
Title Author ISBN Copyright Features Action
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 Market Makers: A Practical Guide to Decentralized Exchanges and Cryptocurrency Trading 5126838 Miguel Ottina Peter Johannes Steffensen Jesper Kristensen 9781484286166 2023 Contains images
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: Essays in Honor of Woody Bledsoe (Automated Reasoning Series #1) 4603650 Robert Stephen Boyer 9789401134880 1991
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

Refine Search

Showing 4,901 through 4,925 of 55,525 results