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 - CADE-16

Tapa de Automated Deduction - CADE-16

Número de Cutter-SanbornG211aEntrada «Gant» → 211 · marca de obra “a”

Automated Deduction - CADE-16

de Harald Ganzinger

Materias

Congresses
Symbolic and mathematical Logic
Automatic theorem proving

Ediciones (2)

Automated Deduction - CADE-16 (2003)
Springer · inglés · ISBN 9783540486602
Automated Deduction - CADE-16 (1999)
Springer · inglés · ISBN 9783540662228

Más obras de Harald Ganzinger

Tapa de Logic for programming and automated reasoning

Logic for programming and automated reasoning

Automated Deduction - CADE-16 — Harald Ganzinger | Cutter Number

Tapa de Informatik

Informatik

Tapa de ESOP '88

ESOP '88

Ver todas las obras de Harald Ganzinger →