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

Tapa de Automated Deduction - CADE-19

Número de Cutter-SanbornB111aEntrada «Ba» → 111 · marca de obra “a”

Automated Deduction - CADE-19

de Franz Baader · Publicada por primera vez en 2003

Materias

Congresses
Symbolic and mathematical Logic
Automatic theorem proving

Ediciones (2)

Automated Deduction - CADE-19 (2006)
Springer London, Limited · inglés · ISBN 9783540450856
Automated Deduction - CADE-19 (2003)
Springer · inglés · ISBN 9783540405597

Más obras de Franz Baader

Tapa de The Description Logic Handbook

The Description Logic Handbook

Automated Deduction - CADE-19 — Franz Baader | Cutter Number

Tapa de The description logic handbook

The description logic handbook

Tapa de The description logic handbook

The description logic handbook

Tapa de Term Rewriting & All That

Term Rewriting & All That

IIntroduction to Description Logic

Introduction to Description Logic

FFermenta Cognitionis

Fermenta Cognitionis

Ver todas las obras de Franz Baader →