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
Autores con J
Jörg H. Siekmann

Número de Cutter-SanbornS571Entrada de tabla «Sie»

Jörg H. Siekmann

· 7 obras en el catálogo

Obras

Tapa de 8th International Conference on Automated Deduction

8th International Conference on Automated Deduction

Tapa de Automation of reasoning

Automation of reasoning

Tapa de Künstliche Intelligenz

Künstliche Intelligenz

Tapa de Mechanizing mathematical reasoning

Mechanizing mathematical reasoning

Tapa de Mechanizing mathematical reasoning

Mechanizing mathematical reasoning

CComputational Logic

Computational Logic

CComputational Logic

Computational Logic

Jörg H. Siekmann — obras y número de Cutter | Cutter Number