Browse Results

Showing 3,976 through 4,000 of 62,084 results
Title Author ISBN Copyright Features Action
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
Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings (Lecture Notes in Computer Science #12842) 4263232 Anupam Das Sara Negri 9783030860592 2021 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings (Lecture Notes in Computer Science #1847) 4663189 Roy Dyckhoff 9783540450085 2000
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings (Lecture Notes in Computer Science #2381) 4739084 Uwe Egly Christian G. Fernmüller 9783540456162 2002
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings (Lecture Notes in Computer Science #8123) 4720421 Didier Galmiche Dominique Larchey-Wendling 9783642405372 2013
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings (Lecture Notes in Computer Science #5607) 4811408 Martin Giese Arild Waaler 9783642027161 2009
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings (Lecture Notes in Computer Science #2796) 4658600 Marta Cialdea Mayer Fiora Pirri 9783540452065 2003
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings (Lecture Notes in Computer Science #1617) 4679197 Neil V. Murray 9783540487548 1999
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings (Lecture Notes in Computer Science #9323) 2834704 Hans De Nivelle 9783319243122 2015
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science #4548) 4798169 Nicola Olivetti 9783540730996 2007
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings (Lecture Notes in Computer Science #14278) 5656274 Revantha Ramanayake Josef Urban 9783031435133 2023 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings (Lecture Notes in Computer Science #10501) 2252020 Renate A. Schmidt Cláudia Nalon 9783319669021 2017 Contains images
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings (Lecture Notes in Computer Science #1397) 4708688 Harrie De Swart 9783540697787 1998
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science #9938) 2852016 Cyrille Artho Axel Legay Doron Peled 9783319465203 2016 Contains images
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Lecture Notes in Computer Science #8837) 2816946 Franck Cassez Jean-François Raskin 9783319119366 2014
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Lecture Notes in Computer Science #11781) 2943293 Yu-Fang Chen Chih-Hong Cheng Javier Esparza 9783030317843 2019 Contains images
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Lecture Notes in Computer Science #9364) 2835612 Bernd Finkbeiner Geguang Pu Lijun Zhang 9783319249537 2015 Contains images
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science #11138) 2241550 Shuvendu K. Lahiri Chao Wang 9783030010904 2018 Contains images

Refine Search

Showing 3,976 through 4,000 of 62,084 results