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

IInteractive Theorem Proving

Número de Cutter-SanbornK64iEntrada «Klein» → 64 · marca de obra “i”

Interactive Theorem Proving

de Gerwin Klein, Ruben Gamboa

Materias

Automatic theorem proving
Logic, symbolic and mathematical
Software engineering
Artificial Intelligence (incl. Robotics)
Computer science
Data protection
Computer software
Logic design
Artificial intelligence

Interactive Theorem Proving — Gerwin Klein, Ruben Gamboa | Cutter Number

Mathematical Logic and Formal Languages

Logics and Meanings of Programs

Systems and Data Security

Ediciones (2)

Interactive Theorem Proving (2014)
Springer International Publishing AG · inglés · ISBN 9783319089690
Interactive Theorem Proving (2014)
Springer London, Limited · inglés · ISBN 9783319089706

Más obras de Gerwin Klein

CConcrete Semantics

Concrete Semantics

Ver todas las obras de Gerwin Klein →