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
Symbolic Computation and Automated Reasoning

Tapa de Symbolic Computation and Automated Reasoning

Número de Cutter-SanbornK79sEntrada «Koh» → 79 · marca de obra “s”

Symbolic Computation and Automated Reasoning

de Michael Kohlhase

Ediciones (3)

Symbolic Computation and Automated Reasoning (2001)
AK Peters · inglés · ISBN 9781568811451
Symbolic Computation and Automated Reasoning (2001)
CRC Press LLC · inglés · ISBN 9780429064302
Symbolic Computation and Automated Reasoning (2001)
CRC Press LLC · inglés · ISBN 9781439864234

Más obras de Michael Kohlhase

Tapa de Intelligent Computer Mathematics

Intelligent Computer Mathematics

Symbolic Computation and Automated Reasoning — Michael Kohlhase | Cutter Number

K

Ki 2006

Ki 2006

DDigitalisierung Von Zivilprozess und Rechtsdurchsetzung

Digitalisierung Von Zivilprozess und Rechtsdurchsetzung

RRobust Argumentation Machines

Robust Argumentation Machines

Tapa de Mathematical Knowledge Management

Mathematical Knowledge Management

Tapa de OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

Ver todas las obras de Michael Kohlhase →