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 H
Herman Geuvers

Número de Cutter-SanbornG395Entrada de tabla «Geu»

Herman Geuvers

· 4 obras en el catálogo

Obras

Tapa de Types for Proofs and Programs

Types for Proofs and Programs

Tapa de Intelligent Computer Mathematics

Intelligent Computer Mathematics

Tapa de Type Theory and Formal Proof

Type Theory and Formal Proof

IInteractive Theorem Proving

Interactive Theorem Proving

Herman Geuvers — obras y número de Cutter | Cutter Number