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 theorem proving

Tapa de Automated theorem proving

Número de Cutter-SanbornB581aEntrada «Bib» → 581 · marca de obra “a”

Automated theorem proving

Materias

Démonstration automatique
Théorèmes
Automatisches Beweisverfahren
Automatic theorem proving
Automatentheorie
Beweis (Mathematik)
Mathematics, problems, exercises, etc.
Mathematics, data processing

Ediciones (1)

Automated theorem proving (1987)
inglés · ISBN 9783322901026

Más obras de W. Bibel

Tapa de Künstliche Intelligenz

Künstliche Intelligenz

Tapa de Mathematical methods of specification and synthesis of software systems '85

Mathematical methods of specification and synthesis of software systems '85

Tapa de Automated deduction

Automated deduction

Tapa de Ausgezeichnete Informatikdissertationen 1996

Automated theorem proving — W. Bibel | Cutter Number

Ausgezeichnete Informatikdissertationen 1996

Tapa de Automated Deduction - A Basis for Applications

Automated Deduction - A Basis for Applications

Tapa de Automated Deduction - A Basis for Applications

Automated Deduction - A Basis for Applications

Ver todas las obras de W. Bibel →