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-SanbornW775aEntrada «Winkl» → 775 · marca de obra “a”

Automated Deduction in Geometry

de Franz Winkler

Materias

Geometry, data processing
Automatic theorem proving
Logic, symbolic and mathematical

Ediciones (1)

Automated Deduction in Geometry (2005)
Springer · inglés · ISBN 9783540246169

Más obras de Franz Winkler

PPartisanenkampf in Jugoslawien

Partisanenkampf in Jugoslawien

1986

Tapa de Algebraic Informatics

Algebraic Informatics

Tapa de Rational Algebraic Curves: A Computer Algebra Approach (Algorithms and Computation in Mathematics Book 22)

Rational Algebraic Curves: A Computer Algebra Approach (Algorithms and Computation in Mathematics Book 22)

Automated Deduction in Geometry — Franz Winkler | Cutter Number

JJohann Sebastian Bach

Johann Sebastian Bach

Tapa de Polynomial Algorithms in Computer Algebra

Polynomial Algorithms in Computer Algebra

SSymbolic and Numerical Scientific Computation

Symbolic and Numerical Scientific Computation

Ver todas las obras de Franz Winkler →