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
Automated Deduction – CADE 26

Tapa de Automated Deduction – CADE 26

Número de Cutter-SanbornM929aEntrada «Mour» → 929 · marca de obra “a”

Automated Deduction – CADE 26

de Leonardo de Moura

Materias

Automatic theorem proving

Ediciones (1)

Automated Deduction – CADE 26 (2017)
Springer · ISBN 9783319630458

Más obras de Leonardo de Moura

Tapa de Intelligent Computer Mathematics

Intelligent Computer Mathematics

Tapa de Formal Methods : Foundations and Applications

Formal Methods : Foundations and Applications

HHacer Frente a la Violencia Escolar

Hacer Frente a la Violencia Escolar

Ver todas las obras de Leonardo de Moura →

Automated Deduction – CADE 26 — Leonardo de Moura | Cutter Number