Skip to main content Skip to footer content

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

Pascal Fontaine

Aug 21, 2019

$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: 9783030294359

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

Paperback
$71.50
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
Cognitive Systems and Information Processing: 7th International Conference, ICCSIP 2022, Fuzhou, China, December 17-18, 2022, Revised Selected Papers

Fuchun Sun Paperback
$175.50
2 formats available
Applications of Computational Intelligence: 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers

Alvaro David Orjuela-ca Paperback
$94.95
2 formats available
Applications Of Computational Intelligence: 4th Ieee Colombian Conference, Colcaci 2021, Virtual Event, May 27-28, 2021, Revised Selected Papers

Alvaro David Orjuela-ca Paperback
$102.50
2 formats available
Applications of Computational Intelligence: 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers

Alvaro David Orjuela-ca Paperback
$58.50
Advanced Techniques for Knowledge Engineering and Innovative Applications: 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers

Jeffrey Tweedale Paperback
$80.50
Computational Processing of the Portuguese Language: 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012, Proceedings

Helena Caseli Paperback
$80.50
Structural, Syntactic, And Statistical Pattern Recognition: Joint Iapr International Workshops, S+sspr 2020, Padua, Italy, January 21-22, 2021, Proceedings

Andrea Torsello Paperback
$80.50
2 formats available
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-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Paperback
$71.50
Advanced Engineering, Technology and Applications: Second International Conference, ICAETA 2023, Istanbul, Turkey, March 10-11, 2023, Revised Selected Papers

Alessandro Ortis Paperback
$58.50
Advanced Engineering, Technology and Applications: Second International Conference, ICAETA 2023, Istanbul, Turkey, March 10-11, 2023, Revised Selected Papers

Alessandro Ortis Paperback
$145.95
2 formats available
Cognitive Systems and Information Processing: 6th International Conference, ICCSIP 2021, Suzhou, China, November 20-21, 2021, Revised Selected Papers

Fuchun Sun Paperback
$160.95
2 formats available
Computer, Communication, and Signal Processing: 6th IFIP TC 5 International Conference, ICCCSP 2022, Chennai, India, February 24-25, 2022, Revised Selected Papers

Erich J. Neuhold Hardcover
$189.95
2 formats available
Computer, Communication, and Signal Processing: 6th IFIP TC 5 International Conference, ICCCSP 2022, Chennai, India, February 24-25, 2022, Revised Selected Papers

Erich J. Neuhold Paperback
$189.95
Artificial Neural Networks In Pattern Recognition: 7th Iapr Tc3 Workshop, Annpr 2016, Ulm, Germany, September 28-30, 2016, Proceedings

Friedhelm Schwenker Paperback
$116.95
2 formats available
Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Leonardo de Moura Paperback
$131.50
2 formats available
Intelligent Systems and Pattern Recognition: Second International Conference, ISPR 2022, Hammamet, Tunisia, March 24-26, 2022, Revised Selected Papers

Akram Bennour Paperback
$131.50
2 formats available
Computing, Internet of Things and Data Analytics: Selected papers from the International Conference on Computing, IoT and Data Analytics (ICCIDA)

Fausto Pedro García M Paperback
$233.95
2 formats available

Editorial reviews

Author

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

Leonardo de Moura Paperback
$131.50
2 formats available
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
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
Diagrammatic Representation and Inference: 14th International Conference, Diagrams 2024, Munster, Germany, September 27 - October 1, 2024, Proceedings

Jens Lemanski Paperback
$102.50
2 formats available
Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings

Dominik Dürrschnabel Paperback
$87.95
2 formats available
Formal Concept Analysis: 16th International Conference, Icfca 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings

Agn Braud Paperback
$80.50
2 formats available
Algorithmic Decision Theory: 7th International Conference, Adt 2021, Toulouse, France, November 3-5, 2021, Proceedings

Dimitris Fotakis Paperback
$131.50
2 formats available
PRIMA 2020: Principles and Practice of Multi-Agent Systems: 23rd International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings

Takahiro Uchiya Paperback
$80.50
2 formats available
PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings

Matteo Baldoni Paperback
$160.95
2 formats available
PRIMA 2022: Principles and Practice of Multi-Agent Systems: 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

Reyhan Aydo Paperback
$160.95
2 formats available
Diagrammatic Representation and Inference: 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings

Valeria Giardino Paperback
$87.95
2 formats available
Computational and Corpus-Based Phraseology: 4th International Conference, Europhras 2022, Malaga, Spain, 28-30 September, 2022, Proceedings

Gloria Corpas Pastor Paperback
$102.50
2 formats available
Modeling Decisions for Artificial Intelligence: 19th International Conference, MDAI 2022, Sant Cugat, Spain, August 30 - September 2, 2022, Proceedings

Vicen Torra Paperback
$94.95
2 formats available
Diagrammatic Representation And Inference: 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings

Amrita Basu Paperback
$160.95
2 formats available
Statistical Language And Speech Processing: 9th International Conference, Slsp 2021, Virtual Event, November 22-26, 2021, Proceedings

Luis Espinosa-anke Paperback
$87.95
2 formats available
KI 2016: Advances in Artificial Intelligence: 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

Gerhard Friedrich Paperback
$80.50
2 formats available
Conceptual Knowledge Structures: First International Joint Conference, CONCEPTS 2024, Cadiz, Spain, September 9-13, 2024, Proceedings

Inma Cabrera Paperback
$109.50
2 formats available
Belief Functions: Theory and Applications: 6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021, Proceedings

Thierry Den Paperback
$102.50
2 formats available