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 Reasoning

Tapa de Automated Reasoning

Número de Cutter-SanbornG177aEntrada «Gallw» → 177 · marca de obra “a”

Automated Reasoning

de Didier Galmiche, Stephan Schulz, Roberto Sebastiani

Materias

Automatic theorem proving
Logic, symbolic and mathematical

Ediciones (1)

Automated Reasoning (2018)
Springer · ISBN 9783319942049

Más obras de Didier Galmiche

Tapa de Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning — Didier Galmiche, Stephan Schulz, Roberto Sebastiani | Cutter Number

Ver todas las obras de Didier Galmiche →