Skip to main content Skip to footer content

Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Leonardo de Moura

Jul 11, 2017

$131.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 658 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

582

Lecture Notes in Artificial Intelligence

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783319630458

Computational Intelligence In Data Mining: Proceedings Of The International Conference On Iccidm 2018

Himansu Sekhar Behera Paperback
$364.95
2 formats available
Computing, Communication and Intelligence: Proceedings of the International Conference on Cutting-edge Technology in C

Srinivas Sethi Paperback
$88.95
2 formats available
Computing, Communication and Intelligence: Proceedings of the International Conference on Cutting-edge Technology in C

Srinivas Sethi Paperback
$88.95
2 formats available
Computational Intelligence In Data Mining: Proceedings Of The International Conference On Cidm 2017

Himansu Sekhar Behera Paperback
$321.50
2 formats available
Advanced Computational Intelligence and Intelligent Informatics: 8th International Workshop, IWACIII 2023, Beijing, China, November 3-5, 2023, Proceedings, Part II

Bin Xin Paperback
$175.50
2 formats available
Advanced Computational Intelligence and Intelligent Informatics: 8th International Workshop, IWACIII 2023, Beijing, China, November 3-5, 2023, Proceedings, Part I

Bin Xin Paperback
$124.50
2 formats available
Digital Economy And Computer Applications - Proceedings Of The 2nd International Conference

Selvakumar Manickam Hardcover
$274.50
Advances in Computational Collective Intelligence: 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Ngoc Thanh Nguyen Paperback
$175.50
2 formats available
Automated Deduction - Cade 27: 27th International Conference On Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings

Pascal Fontaine Paperback
$131.50
2 formats available
Computational Collective Intelligence: 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part II

Ngoc Thanh Nguyen Paperback
$80.50
2 formats available
International Conference on Neural Computing for Advanced Applications: 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I

Haijun Zhang Paperback
$145.95
2 formats available
Multi-disciplinary Trends In Artificial Intelligence: 14th International Conference, Miwai 2021, Virtual Event, July 2-3, 2021, Proceedings

Phatthanaphong Chomphuwiset Paperback
$80.50
2 formats available
Advances in Computation and Intelligence: 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, Proceedings

Zhihua Cai Paperback
$80.50
International Conference on Neural Computing for Advanced Applications: 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II

Haijun Zhang Paperback
$160.95
2 formats available
Symbolic Computation in Software Science: 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Stephen Watt Paperback
$175.50
2 formats available
Computational Collective Intelligence: 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I

Ngoc Thanh Nguyen Paperback
$109.50
2 formats available
Optimization and Learning: 6th International Conference, OLA 2023, Malaga, Spain, May 3-5, 2023, Proceedings

Bernab Dorronsoro Paperback
$145.95
2 formats available
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Paperback
$71.50
Computational Collective Intelligence: 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 - December 3, 2020, Proceedings

Ngoc Thanh Nguyen Paperback
$160.95
2 formats available
Neural Computing for Advanced Applications: 5th International Conference, NCAA 2024, Guilin, China, July 5-7, 2024, Proceedings, Part III

Haijun Zhang Paperback
$145.95
2 formats available

Editorial reviews

Author

Automated Deduction - Cade 27: 27th International Conference On Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings

Pascal Fontaine Paperback
$131.50
2 formats available
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Paperback
$71.50
Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings

Paperback
$71.50
Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Brigitte Pientka Paperback
$72.95
2 formats available
Automated Deduction - Cade 28: 28th International Conference On Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Andr Platzer Paperback
$72.95
2 formats available
Knowledge-Based and Intelligent Information and Engineering Systems: 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part II

Juan D. Velásquez Paperback
$248.50
Knowledge-Based and Intelligent Information and Engineering Systems: 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part I

Juan D. Velásquez Paperback
$80.50
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings

Pierre Schaus Paperback
$131.50
2 formats available
Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Pedro Cabalar Paperback
$80.50
Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Renate A. Schmidt Paperback
$102.50
2 formats available
Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers

Thomas Sturm Paperback
$80.50
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

Bistra Dilkina Paperback
$204.50
2 formats available
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

Bistra Dilkina Paperback
$109.50
2 formats available
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

Bistra Dilkina Paperback
$72.95
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

Bistra Dilkina Paperback
$72.95
E-Commerce and Web Technologies: 13th International Conference, EC-Web 2012, Vienna, Austria, September 4-5, 2012, Proceedings

Christian Huemer Paperback
$80.50
Artificial Intelligence: Methodology, Systems, and Applications: 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings

Christoph Bussler Paperback
$80.50
Application and Theory of Petri Nets and Concurrency: 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Luis Gomes Paperback
$131.50
2 formats available
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Paperback
$80.50
2 formats available
Artificial Intelligence: Methodology, Systems, and Applications: 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings

J Euzenat Paperback
$80.50