cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Automated Deduction in Geometry

Tapa de Automated Deduction in Geometry

Número de Cutter-SanbornS936aEntrada «Sturm» → 936 · marca de obra “a”

Automated Deduction in Geometry

de Thomas Sturm

Materias

Logic design
Computational complexity
Computer graphics
Discrete groups
Computer science
Artificial intelligence
Geometry
Informatique
Congresses
Data processing
Automatic theorem proving

Automated Deduction in Geometry — Thomas Sturm | Cutter Number

Geometry, data processing

Ediciones (2)

Automated Deduction in Geometry (2011)
Springer · ISBN 9783642210471
Automated Deduction in Geometry (2011)
Springer Berlin Heidelberg · inglés · ISBN 9783642210457

Más obras de Thomas Sturm

Tapa de Quellen und Studien zur Philosophie, vol. 66: Why does history matter to philosophy and sciences?

Quellen und Studien zur Philosophie, vol. 66: Why does history matter to philosophy and sciences?

Tapa de How Reason Almost Lost Its Mind

How Reason Almost Lost Its Mind

Tapa de Psychology's territories

Psychology's territories

Tapa de Klassische Werke der Philosophie

Klassische Werke der Philosophie

Tapa de Psychology's Territories

Psychology's Territories

FForce of an Idea

Force of an Idea

Ver todas las obras de Thomas Sturm →