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 C
Christine Paulin-Mohring

Número de Cutter-SanbornP328Entrada de tabla «Paulin»

Christine Paulin-Mohring

· 3 obras en el catálogo

Obras

Tapa de Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)

TTypes for Proofs and Programs

Types for Proofs and Programs

IInteractive Theorem Proving

Interactive Theorem Proving

Christine Paulin-Mohring — obras y número de Cutter | Cutter Number