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 N
Nikolaj Bjørner

Número de Cutter-SanbornB626Entrada de tabla «Bj»

Nikolaj Bjørner

· 3 obras en el catálogo

Obras

Tapa de Perspectives of System Informatics

Perspectives of System Informatics

Tapa de FM 2015 : Formal Methods

FM 2015 : Formal Methods

Tapa de Automated Deduction -- CADE-23

Automated Deduction -- CADE-23

Nikolaj Bjørner — obras y número de Cutter | Cutter Number