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

Tapa de Interactive Theorem Proving

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

Interactive Theorem Proving

de Lennart Beringer

Materias

Mathematical Logic and Formal Languages
Software engineering
Systems and Data Security
Data protection
Logic design
Logics and Meanings of Programs
Computation by Abstract Devices
Computer science
Artificial intelligence
Artificial Intelligence (incl. Robotics)

Ediciones (1)

Interactive Theorem Proving (2012)
Springer Berlin Heidelberg · inglés · ISBN 9783642323478

Más obras de Lennart Beringer

Tapa de Interactive Theorem Proving

Lecture Notes in Computer Science Theoretical Computer Sci

Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci

Tapa de Program Logics for Certified Compilers

Program Logics for Certified Compilers

Ver todas las obras de Lennart Beringer →

Interactive Theorem Proving — Lennart Beringer | Cutter Number