Skip to main content Skip to footer content

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Christoph Benzmüller Edited by Marijn Heule , Renate A. Schmidt

Jul 02, 2024

$65.95

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 330 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

482

Lecture Notes in Artificial Intelligence

Publisher: Springer Nature

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

ISBN: 9783031634970

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Christoph Benzmüller Paperback
$58.50
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 18-22, 2020, Proceedings, Part V

Haiqin Yang Paperback
$160.95
2 formats available
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part VI

Hayit Greenspan Paperback
$175.50
2 formats available
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 18-22, 2020, Proceedings, Part IV

Haiqin Yang Paperback
$160.95
2 formats available
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part I

Haiqin Yang Paperback
$58.50
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part X

Hayit Greenspan Paperback
$204.50
2 formats available
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part I

Haiqin Yang Paperback
$160.95
2 formats available
Principles And Practice Of Constraint Programming - Cp 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings

David Cohen Paperback
$160.95
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part V

Hayit Greenspan Paperback
$175.50
2 formats available
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part IX

Hayit Greenspan Paperback
$160.95
2 formats available
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part I

Hayit Greenspan Paperback
$145.95
2 formats available
Cloud Computing and Security: 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI

Xingming Sun Paperback
$80.50
2 formats available
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part IV

Hayit Greenspan Paperback
$160.95
2 formats available
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part III

Haiqin Yang Paperback
$58.50
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part III

Haiqin Yang Paperback
$160.95
2 formats available
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part VII

Hayit Greenspan Paperback
$160.95
2 formats available
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part II

Haiqin Yang Paperback
$58.50
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part II

Haiqin Yang Paperback
$160.95
2 formats available
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part II

Hayit Greenspan Paperback
$160.95
2 formats available
Multiple Classifier Systems: 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings

Carlo Sansone Paperback
$80.50

Editorial reviews

marijn heule

Author

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Christoph Benzmüller Paperback
$116.95
2 formats available
Foundations of Intelligent Systems: 27th International Symposium, ISMIS 2024, Poitiers, France, June 17-19, 2024, Proceedings

Annalisa Appice Paperback
$94.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
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
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings

Taylor T. Johnson Paperback
$189.95
2 formats available
Implementation and Application of Automata: 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings

Pascal Caron Paperback
$102.50
2 formats available
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Christoph Benzmüller Paperback
$58.50
Discovery Science: 25th International Conference, DS 2022, Montpellier, France, October 10-12, 2022, Proceedings

Poncelet Pascal Paperback
$145.95
2 formats available
Foundations of Intelligent Systems: 26th International Symposium, ISMIS 2022, Cosenza, Italy, October 3-5, 2022, Proceedings

Michelangelo Ceci Paperback
$80.50
2 formats available
Artificial Intelligence in Healthcare: First International Conference, AIiH 2024, Swansea, UK, September 4-6, 2024, Proceedings, Part I

Xianghua Xie Paperback
$204.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
Artificial Intelligence in Healthcare: First International Conference, AIiH 2024, Swansea, UK, September 4-6, 2024, Proceedings, Part II

Xianghua Xie Paperback
$109.50
2 formats available
Social Robotics: 14th International Conference, ICSR 2022, Florence, Italy, December 13-16, 2022, Proceedings, Part I

Filippo Cavallo Paperback
$145.95
2 formats available
Social Robotics: 14th International Conference, ICSR 2022, Florence, Italy, December 13-16, 2022, Proceedings, Part II

Filippo Cavallo Paperback
$160.95
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
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 20th International Conference, CPAIOR 2023, Nice, France, May 29 -June 1, 2023, Proceedings

Andre Augusto Cire Paperback
$145.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
Computational Collective Intelligence: 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II

Ngoc Thanh Nguyen Paperback
$109.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
Artificial Intelligence in Education: 23rd International Conference, AIED 2022, Durham, UK, July 27-31, 2022, Proceedings, Part I

Maria Mercedes Rodrigo Paperback
$189.95
2 formats available