Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

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


Book Informaton

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

Author

Tetsuo Ida; Jacques Fleuriot

Series

Lecture Notes in Computer Science

Volume

7993

Year of Publication

2013

Publisher

Springer Berlin Heidelberg

Pages

X, 193

Language

en

ISBN

9783642406713, 9783642406720, 3642406718

ARI Id

1665042762333


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.