Skip to main content Skip to footer content

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Jasmin Blanchette Edited by Laura Kov , Dirk Pattinson

Jul 17, 2022

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

Overview

Language

English

No. of Pages

756

Lecture Notes in Artificial Intelligence

Publisher: Springer Nature

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

ISBN: 9783031107689

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Didier Galmiche Paperback
$80.50
2 formats available
Intelligent Information Processing and Web Mining: Proceedings Of The International Iis: Iipwm 06 Conference Held In Ustron, Poland, June 19-22, 2006

Mieczyslaw A. Klopotek Hardcover
$481.95
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Nicola Olivetti Paperback
$131.50
2 formats available
Rigorous State-based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Alexander Raschke Paperback
$94.95
2 formats available
Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Xiangdong He Paperback
$80.50
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Paperback
$116.95
2 formats available
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

Nicolas Peltier Paperback
$116.95
2 formats available
Dynamic Control and Optimization: DCO 2021, Aveiro, Portugal, February 3-5, Selected, Revised Contributions

Tatiana V. Tchemisova Paperback
$262.95
Dynamic Control and Optimization: DCO 2021, Aveiro, Portugal, February 3-5, Selected, Revised Contributions

Tatiana V. Tchemisova Hardcover
$291.95
2 formats available
Mathematical Modeling and Simulation of Systems: Selected Papers of 18th International Conference, MODS, November 13-15, 2023, Chernihiv, Ukraine

Volodymyr Kazymyr Paperback
$364.95
2 formats available
Logics for AI and Law. Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou

Paperback
$33.50
Mesh Methods For Boundary-value Problems And Applications: 13th International Conference, Kazan, Russia, October 20-25, 2020

Ildar B. Badriev Hardcover
$248.50
2 formats available
Proceedings of the 1st International Conference on Neural Networks and Machine Learning 2022 (ICONNSMAL 2022)

Kobo eBook
$0.00
Mesh Methods for Boundary-Value Problems and Applications: 13th International Conference, Kazan, Russia, October 20-25, 2020

Ildar B. Badriev Paperback
$248.50
Comparative Genomics: 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20-21, 2022, Proceedings

Lingling Jin Paperback
$131.50
2 formats available
Theory And Applications Of Models Of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

T.v. Gopal Paperback
$80.50
2 formats available
Comparative Genomics: 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024, Proceedings

Celine Scornavacca Paperback
$94.95
2 formats available
Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

Nicolas Peltier Paperback
$131.50
2 formats available
Comparative Genomics: 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024, Proceedings

Celine Scornavacca Paperback
$72.95
Comparative Genomics: 20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14-15, 2023, Proceedings

Katharina Jahn Paperback
$80.50
2 formats available

Editorial reviews

laura kov

Author

Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

Nicolas Peltier Paperback
$131.50
2 formats available
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Nicola Olivetti Paperback
$131.50
2 formats available
Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings

Anthony W. Lin Paperback
$87.95
2 formats available
Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings

Nicholas Olenev Paperback
$80.50
2 formats available
Mathematical Optimization Theory and Operations Research: 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings

Anton Eremeev Paperback
$116.95
2 formats available
Numerical Methods and Applications: 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings

Ivan Georgiev Paperback
$124.50
2 formats available
Optimization and Applications: 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Nicholas Olenev Paperback
$109.50
2 formats available
Optimization and Applications: 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 - October 1, 2021, Proceedings

Nicholas N. Olenev Paperback
$124.50
2 formats available
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 8th International Conference, AAECC-8, Tokyo, Japan, August 20-24, 1990. Proceedings

Paperback
$71.50
Big Data Analytics and Knowledge Discovery: 24th International Conference, DaWaK 2022, Vienna, Austria, August 22-24, 2022, Proceedings

Robert Wrembel Paperback
$116.95
2 formats available
Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings

YiXiang Chen Paperback
$124.50
2 formats available
Combinatorics on Words: 14th International Conference, WORDS 2023, Umea, Sweden, June 12-16, 2023, Proceedings

Anna Frid Paperback
$124.50
2 formats available
Optimization and Applications: 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022, Revised Selected Papers

Nicholas Olenev Paperback
$102.50
2 formats available
Big Data Analytics and Knowledge Discovery: 26th International Conference, DaWaK 2024, Naples, Italy, August 26-28, 2024, Proceedings

Robert Wrembel Paperback
$109.50
2 formats available
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part VII

Makoto Onizuka Paperback
$116.95
2 formats available
Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Jaros Byrka Paperback
$94.95
2 formats available
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part IV

Makoto Onizuka Paperback
$131.50
2 formats available
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part VI

Makoto Onizuka Paperback
$116.95
2 formats available
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part I

Makoto Onizuka Paperback
$131.50
2 formats available
Belief Functions: Theory and Applications: 7th International Conference, BELIEF 2022, Paris, France, October 26-28, 2022, Proceedings

Sylvie Le Hégarat-Masc Paperback
$80.50
2 formats available