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
Computer Arithmetic and Formal Proofs

Tapa de Computer Arithmetic and Formal Proofs

Número de Cutter-SanbornB687cEntrada «Bol» → 687 · marca de obra “c”

Computer Arithmetic and Formal Proofs

de Sylvie Boldo, Guillaume Melquiond

Materias

Proof theory
Algorithms

Ediciones (2)

Computer Arithmetic and Formal Proofs (2017)
Elsevier · inglés · ISBN 9780081011706
Computer Arithmetic and Formal Proofs (2017)
Elsevier · inglés · ISBN 9781785481123

Más obras de Sylvie Boldo

Tapa de Numerical Software Verification

Numerical Software Verification

Computer Arithmetic and Formal Proofs — Sylvie Boldo, Guillaume Melquiond | Cutter Number

Ver todas las obras de Sylvie Boldo →