Automated Deduction in Geometry Image close
Automated Deduction in Geometry
Automated Deduction in Geometry
Show Hide Adult Content
Automated Deduction in Geometry close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Automated Deduction in Geometry

10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$119.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $30.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$181.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
7th International Conference on Automated Deduction
$283.99
7th International Conference on Automated Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Machine Vision, Image Processing, and Pattern Analysis
$267.99
Advances in Machine Vision, Image Processing, and Pattern Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Web Engineering
$286.99
Web Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Multi-Agent-Based Simulation XII
$167.99
Multi-Agent-Based Simulation XII
Paperback / softback
Available - Usually ships in 3-4 weeks
Mobile, Secure, and Programmable Networking
$158.99
Mobile, Secure, and Programmable Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Medical Image Computing and Computer Assisted Intervention – MICCAI 2022
$135.99
Medical Image Computing and Computer Assisted Intervention – MICCAI 2...
Paperback / softback
Available - Usually ships in 3-4 weeks
Ophthalmic Medical Image Analysis
$238.99
Ophthalmic Medical Image Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Collaboration and Technology
$173.99
Collaboration and Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
Automata, Languages and Programming Save $13
$279.99
$293.95
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Scalable Uncertainty Management Save $27
$135.99
$163.95
Scalable Uncertainty Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Advances in Parallel Virtual Machine and Message Passing Interface
$271.99
Recent Advances in Parallel Virtual Machine and Message Passing...
Paperback / softback
Available - Usually ships in 3-4 weeks
Augmented Cognition. Theoretical and Technological Approaches
$181.99
Augmented Cognition. Theoretical and Technological Approaches
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Vision – ECCV 2020 Save $9
$262.99
$272.95
Computer Vision – ECCV 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$181.99
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Business Process Management
$193.99
Business Process Management
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
Release date Australia
July 27th, 2015
Audience
  • Professional & Vocational
Contributors
  • Edited by Francisco Botana
  • Edited by Pedro Quaresma
Edition
1st ed. 2015
Illustrations
54 Illustrations, black and white; IX, 181 p. 54 illus.
Pages
181
Dimensions
155x235x10
ISBN-13
9783319213613
Product ID
23159492

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Geometry >
Analytic geometry
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Artificial intelligence