Skip to main content Skip to footer content

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Nicola Olivetti Edited by Ashish Tiwari

Jun 12, 2016

$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

580

Lecture Notes in Artificial Intelligence

Publisher: Springer/Sci-Tech/Trade

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

ISBN: 9783319402284

Rigorous State-based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Alexander Raschke Paperback
$94.95
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
Comparative Genomics: 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024, Proceedings

Celine Scornavacca Paperback
$72.95
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Jasmin Blanchette Paperback
$72.95
2 formats available
Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

Ivan Varzinczak Paperback
$116.95
2 formats available
Recent Trends in Mathematical Modeling and High Performance Computing: M3HPCST-2020, Ghaziabad, India, January 9-11, 202: M3HPCST-2020, Ghaziabad, India, January 9-11, 2020

Vinai K. Singh Hardcover
$364.95
2 formats available
Recent Trends in Mathematical Modeling and High Performance Computing: M3HPCST-2020, Ghaziabad, India, January 9-11, 202: M3HPCST-2020, Ghaziabad, India, January 9-11, 2020

Vinai K. Singh Paperback
$364.95
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I

Meikang Qiu Paperback
$160.95
2 formats available
Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Frank Pfenning Paperback
$80.50
Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Xiangdong He Paperback
$80.50
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part III

Meikang Qiu Paperback
$160.95
2 formats available
Abstract State Machines, Alloy, B, Tla, Vdm, And Z: 6th International Conference, Abz 2018, Southampton, Uk, June 5-8, 2018, Proceedings

Michael Butler Paperback
$80.50
2 formats available
Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I

Sheng Wen Paperback
$80.50
2 formats available
Foundations of Information and Knowledge Systems: 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

Christoph Beierle Paperback
$80.50
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part II

Meikang Qiu Paperback
$160.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
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
Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings

Sergei Artemov Paperback
$124.50
2 formats available
Comparative Genomics: 20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14-15, 2023, Proceedings

Katharina Jahn Paperback
$80.50
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

Editorial reviews

ashish tiwari

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: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Jasmin Blanchette Paperback
$72.95
2 formats available
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
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
Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings

Kevin Buzzard Paperback
$80.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
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
Inductive Logic Programming: 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Gerson Zaverucha Paperback
$65.95
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
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Stéphane Demri Paperback
$80.50
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
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
Discrete Geometry and Mathematical Morphology: Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24-27, 2022, Proceedings

Étienne Baudrier Paperback
$80.50
2 formats available
Algorithms and Discrete Applied Mathematics: 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023, Proceedings

Amitabha Bagchi Paperback
$131.50
2 formats available
Deontic Logic and Normative Systems: 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Fabrizio Cariani Paperback
$80.50
Applied Reconfigurable Computing. Architectures, Tools, and Applications: 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings

Iouliia Skliarova Paperback
$189.95
2 formats available
Discrete Geometry and Mathematical Morphology: Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings

Sara Brunetti Paperback
$116.95
2 formats available
Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

Ivan Varzinczak Paperback
$116.95
2 formats available
Algorithms and Discrete Applied Mathematics: 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Subrahmanyam Kalyanasundaram Paperback
$109.50
2 formats available