Skip to main content Skip to footer content

Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Francisco Botana Edited by Pedro Quaresma

Jul 27, 2015

$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

181

Lecture Notes in Artificial Intelligence

Publisher: Springer/Sci-Tech/Trade

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

ISBN: 9783319213613

Advanced Analytics and Learning on Temporal Data: 7th ECML PKDD Workshop, AALTD 2022, Grenoble, France, September 19-23, 2022, Revised Selected Papers

Thomas Guyet Paperback
$87.95
2 formats available
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
Machine Learning and Data Mining for Sports Analytics: 10th International Workshop, MLSA 2023, Turin, Italy, September 18, 2023, Revised Selected Papers

Ulf Brefeld Paperback
$116.95
2 formats available
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Till Mossakowski Paperback
$80.50
Citizen in Sensor Networks: Second International Workshop, CitiSens 2013, Barcelona, Spain, September 19, 2013, Revised Selected Papers

Jordi Nin Paperback
$80.50
2 formats available
Verified Software. Theories, Tools, And Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers

Ruzica Piskac Paperback
$80.50
2 formats available
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Paperback
$80.50
2 formats available
Combinatorial Optimization: 7th International Symposium, ISCO 2022, Virtual Event, May 18-20, 2022, Revised Selected Papers

Ivana Ljubi Paperback
$124.50
2 formats available
Logic, Algebra, and Computation: International Summer School

Friedrich L. Bauer Paperback
$160.95
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Paperback
$80.50
2 formats available
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Paperback
$58.50
Advanced Analytics And Learning On Temporal Data: 5th Ecml Pkdd Workshop, Aaltd 2020, Ghent, Belgium, September 18, 2020, Revised Selected Papers

Vincent Lemaire Paperback
$80.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
Enterprise Information Systems: 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers

Joaquim Filipe Paperback
$116.95
2 formats available
Machine Learning for Networking: 6th International Conference, MLN 2023, Paris, France, November 28-30, 2023, Revised Selected Papers

Éric Renault Paperback
$94.95
2 formats available
Machine Learning for Networking: 6th International Conference, MLN 2023, Paris, France, November 28-30, 2023, Revised Selected Papers

Éric Renault Paperback
$72.95
Machine Learning for Networking: 5th International Conference, MLN 2022, Paris, France, November 28-30, 2022, Revised Selected Papers

Éric Renault Paperback
$87.95
2 formats available
Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings

Claudio Russo Paperback
$80.50
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Rajeev Joshi Paperback
$80.50
Information Security Applications: 11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010, Revised Selected Papers

Yongwha Chung Paperback
$80.50

Editorial reviews

pedro quaresma

Author

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Tetsuo Ida Paperback
$72.95
Engineering Multi-Agent Systems: 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers

Andrei Ciortea Paperback
$94.95
2 formats available
Engineering Multi-agent Systems: 6th International Workshop, Emas 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers

Danny Weyns Paperback
$109.50
2 formats available
Citizen in Sensor Networks: Second International Workshop, CitiSens 2013, Barcelona, Spain, September 19, 2013, Revised Selected Papers

Jordi Nin Paperback
$80.50
2 formats available
Artificial Evolution: 15th International Conference, Evolution Artificielle, EA 2022, Exeter, UK, October 31 - November 2, 2022, Revised Selected Papers

Pierrick Legrand Paperback
$94.95
2 formats available
Agents and Artificial Intelligence: 12th International Conference, ICAART 2020, Valletta, Malta, February 22-24, 2020, Revised Selected Papers

Ana Paula Rocha Paperback
$80.50
2 formats available
Multi-agent Systems: 16th European Conference, Eumas 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Marija Slavkovik Paperback
$80.50
2 formats available
Agents and Artificial Intelligence: 13th International Conference, ICAART 2021, Virtual Event, February 4-6, 2021, Revised Selected Papers

Ana Paula Rocha Paperback
$80.50
2 formats available
Frontiers Of Combining Systems: 13th International Symposium, Frocos 2021, Birmingham, Uk, September 8-10, 2021, Proceedings

Boris Konev Paperback
$124.50
2 formats available
Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers

Louise A. Dennis Paperback
$87.95
2 formats available
Engineering Multi-agent Systems: 9th International Workshop, Emas 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers

Natasha Alechina Paperback
$124.50
2 formats available
Agents and Artificial Intelligence: 14th International Conference, ICAART 2022, Virtual Event, February 3-5, 2022, Revised Selected Papers

Ana Paula Rocha Paperback
$87.95
2 formats available
Towards Autonomous Robotic Systems: 14th Annual Conference, Taros 2013, Oxford, Uk, August 28-30, 2013, Revised Selected Papers

Ashutosh Natraj Paperback
$80.50
2 formats available
Multi-agent Systems: 18th European Conference, Eumas 2021, Virtual Event, June 28-29, 2021, Revised Selected Papers

Ariel Rosenfeld Paperback
$80.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
Multi-agent-based Simulation Xxii: 22nd International Workshop, Mabs 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers

Koen H. van Dam Paperback
$87.95
2 formats available
Agents and Artificial Intelligence: 5th International Conference, ICAART 2013, Barcelona, Spain, February 15-18, 2013. Revised Selected Papers

Joaquim Filipe Paperback
$80.50
2 formats available
Intelligent Computer Mathematics: 13th International Conference, Cicm 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings

Christoph Benzmüller Paperback
$80.50
2 formats available
Logic And Argumentation: 4th International Conference, Clar 2021, Hangzhou, China, October 20-22, 2021, Proceedings

Pietro Baroni Paperback
$145.95
2 formats available
Multi-agent-based Simulation Xix: 19th International Workshop, Mabs 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers

Paul Davidsson Paperback
$80.50
2 formats available