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
The Resolution Calculus

Tapa de The Resolution Calculus

Número de Cutter-SanbornL533rEntrada «Leit» → 533 · marca de obra “r”

The Resolution Calculus

de Alexander Leitsch

Materias

Calculus

Ediciones (3)

Resolution Calculus (2012)
Springer London, Limited · inglés · ISBN 9783642606052
The Resolution Calculus (2011)
Springer · ISBN 9783642644733
The Resolution Calculus (2011)
Springer · ISBN 9783642606069

Más obras de Alexander Leitsch

Tapa de Methods of Cut-Elimination

Methods of Cut-Elimination

The Resolution Calculus — Alexander Leitsch | Cutter Number

Tapa de Automated reasoning

Automated reasoning

Ver todas las obras de Alexander Leitsch →