Browse Results

Showing 70,876 through 70,900 of 100,000 results
Title Author ISBN Copyright Features Action
Automated Data Retrieval in Astronomy: Proceedings of the 64th Colloquium of the International Astronomical Union held in Strasbourg, France, July 7–10, 1981 (Astrophysics and Space Science Library #97) 4685279 Carlos Jaschek W. Heintz 9789400978584 1982
Automated Decision-Making and Effective Remedies: The New Dynamics in the Protection of EU Fundamental Rights in the Area of Freedom, Security and Justice (Elgar Studies in European Law and Policy) 5480743 Simona Demková 9781035306619 2023
Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science #3632) 4797424 Robert Nieuwenhuis 9783540318644 2005
Automated Deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in Computer Science #5663) 4769305 Renate Schmidt 9783642029592 2009
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 - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science #9195) 2831306 Amy P. Felty Aart Middeldorp 9783319214016 2015 Contains images
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

Refine Search

Showing 70,876 through 70,900 of 100,000 results