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 and program development

Tapa de Interactive theorem proving and program development

Número de Cutter-SanbornB547iEntrada «Berton» → 547 · marca de obra “i”

Interactive theorem proving and program development

Materias

Automatic theorem proving
Computer programming
Calculus of operations
Proof theory
Formal languages
Software engineering

Ediciones (1)

Interactive theorem proving and program development (2004)
Springer · inglés

Más obras de Yves Bertot

Interactive theorem proving and program development — Yves Bertot | Cutter Number

Tapa de Theorem proving in higher order logics

Theorem proving in higher order logics

FFrom semantics to computer science

From semantics to computer science

Tapa de Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

PProceedings of the 6th ACM SIGPLAN Conference on Certified P

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

Ver todas las obras de Yves Bertot →