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
Mechanizing hypothesis formation

Tapa de Mechanizing hypothesis formation

Número de Cutter-SanbornH154mEntrada «Haj» → 154 · marca de obra “m”

Mechanizing hypothesis formation

Materias

Computer simulation
Symbolic and mathematical Logic
Artificial intelligence
Mathematics
Mathematics, general

Ediciones (1)

Mechanizing hypothesis formation (1978)
Springer-Verlag · inglés

Más obras de Petr Hájek

Tapa de Credit rating modelling by neural networks

Credit rating modelling by neural networks

Tapa de Metamathematics of first-order arithmetic

Metamathematics of first-order arithmetic

Tapa de Banach Space Theory

Banach Space Theory

Tapa de Smooth analysis in Banach spaces

Mechanizing hypothesis formation — Petr Hájek | Cutter Number

Smooth analysis in Banach spaces

Gödel '96

LLogic Colloquium '98

Logic Colloquium '98

Ver todas las obras de Petr Hájek →