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-22

Tapa de Automated Deduction – CADE-22

Número de Cutter-SanbornS353aEntrada «Schmidt, L.» → 353 · marca de obra “a”

Automated Deduction – CADE-22

de Renate A. Schmidt

Materias

Computer science
Congresses
Automatisches Beweisverfahren
Symbolic and mathematical Logic
Kongress
Automatic theorem proving
Logic, symbolic and mathematical

Ediciones (1)

Automated Deduction – CADE-22 (2009)
Springer Berlin Heidelberg · inglés · ISBN 9783642029585

Más obras de Renate A. Schmidt

Tapa de Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

AAutomated Reasoning

Automated Reasoning

Tapa de Relations and Kleene Algebra in Computer Science

Relations and Kleene Algebra in Computer Science

Ver todas las obras de Renate A. Schmidt →

Automated Deduction – CADE-22 — Renate A. Schmidt | Cutter Number