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-SanbornB641iEntrada «Blanche» → 641 · marca de obra “i”

Interactive Theorem Proving

de Jasmin Christian Blanchette, Stephan Merz

Materias

Automatic theorem proving
Logic, symbolic and mathematical

Ediciones (1)

Interactive Theorem Proving (2016)
Springer · ISBN 9783319431437

Más obras de Jasmin Christian Blanchette

TTests and Proofs

Tests and Proofs

Ver todas las obras de Jasmin Christian Blanchette →

Interactive Theorem Proving — Jasmin Christian Blanchette, Stephan Merz | Cutter Number