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
Autores con A
Alexander Leitsch

Número de Cutter-SanbornL533Entrada de tabla «Leit»

Alexander Leitsch

1952 · 3 obras en el catálogo

Obras

Tapa de Automated Model Building

Automated Model Building

Tapa de The resolution calculus

The resolution calculus

1997

Tapa de Computational logic and proof theory

Computational logic and proof theory

Alexander Leitsch (1952–) — obras y número de Cutter | Cutter Number