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
Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci

Tapa de Interactive Theorem Proving

Lecture Notes in Computer Science Theoretical Computer Sci

Número de Cutter-SanbornB511iEntrada «Beri» → 511 · marca de obra “i”

Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci

de Lennart Beringer

Materias

Automatic theorem proving
Congresses
Software engineering
Data protection
Logic design
Artificial intelligence

Ediciones (1)

Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci (2012)
Springer · ISBN 9783642323461

Más obras de Lennart Beringer

Interactive Theorem Proving Lecture Notes in Computer Scien | Cutter Number

Tapa de Interactive Theorem Proving

Interactive Theorem Proving

Tapa de Program Logics for Certified Compilers

Program Logics for Certified Compilers

Ver todas las obras de Lennart Beringer →