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

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rou...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Ida, Tetsuo (Éditeur intellectuel), Fleuriot, Jacques (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Édition:1st ed. 2013.
Collection:Lecture Notes in Artificial Intelligence, 7993
Sujets:
Artificial intelligence.
Computer graphics.
Machine theory.
Computer science-Mathematics.
Discrete mathematics.
Software engineering.
Artificial Intelligence.
Computer Graphics.
Formal Languages and Automata Theory.
Symbolic and Algebraic Manipulation.
Discrete Mathematics in Computer Science.
Software Engineering.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Items no disponibles

Informations d'exemplaires de

Documents similaires