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 Reasoning

AAutomated Reasoning

Número de Cutter-SanbornG455aEntrada «Gies» → 455 · marca de obra “a”

Automated Reasoning

de Jürgen Giesl, Reiner Hähnle

Ediciones (1)

Automated Reasoning (2010)
Springer · inglés · ISBN 9783642142031

Más obras de Jürgen Giesl

Tapa de Term Rewriting and Applications

Term Rewriting and Applications

Ver todas las obras de Jürgen Giesl →

Automated Reasoning — Jürgen Giesl, Reiner Hähnle | Cutter Number