Browse Results

Showing 3,976 through 4,000 of 61,736 results
Title Author ISBN Copyright Features Action
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
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science #5799) 4796438 Zhiming Liu Anders P. Ravn 9783642047619 2009
Automated Theorem Proving (Künstliche Intelligenz) 4676226 Wolfgang Bibel 9783322901026 1987
Automated Theorem Proving: Theory and Practice 3745490 Monty Newborn 9781461300892 2001
Automated Theorem Proving in Software Engineering 4807253 Johann M. Schumann 9783662226469 2001 Contains images
Automatentheorie und Logik (eXamen.press) 4788170 Martin Hofmann Martin Lange 9783642180903 2011
Automation and Autonomy: Labour, Capital and Machines in the Artificial Intelligence Industry (Marx, Engels, and Marxisms) 4092076 James Steinhoff 9783030716899 2021 Contains images
Automation and Human Solidarity 3167490 Bill Jordan 9783030369590 2020
Automation and Utopia: Human Flourishing in a World without Work 3329292 John Danaher 9780674983403 2019 Contains images
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970 (Symbolic Computation) 4692184 J. Siekmann G. Wrightson 9783642819551 1983
Autonomie: Maßstab, Ideal oder Illusion? Vadian Lectures Band 9 (Sozialtheorie) 5753639 Mathias Lindenau Marcel Meier Kressig 9783839465431 2023
Autonomie und Bewährung: Grundbegriffe rekonstruktiver Sozialisations- und Bildungsforschung (Rekonstruktive Sozialisationsforschung) 2273786 Olaf Behrend Boris Zizek Lalenia Zizek 9783658158095 2019
Autonomie und Vertrauen: Schlüsselbegriffe der modernen Medizin 2874859 Reiner Anselm Gunnar Duttge Volker Lipp Friedemann Nauck Silke Schicktanz 9783658110741 2016
Autonomie und Vulnerabilität in der Medizin: Menschenrechte - Ethik - Empowerment (Menschenrechte in der Medizin / Human Rights in Healthcare #6) 4058511 Lutz Bergemann Andreas Frewer 9783839443521 2019
Autonomous Knowledge: Radical Enhancement, Autonomy, and the Future of Knowing 5104836 J. Adam Carter 9780192662392 2022
Autonomous Knowledge: Radical Enhancement, Autonomy, and the Future of Knowing 5105203 J. Adam Carter 9780192662408 2022 Contains images

Refine Search

Showing 3,976 through 4,000 of 61,736 results