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 Reasoning in Higher-order Logic

Tapa de Automated Reasoning in Higher-order Logic

Número de Cutter-SanbornA939Entrada «Aut» → 939

Automated Reasoning in Higher-order Logic

Materias

Type theory
Automatic theorem proving

Ediciones (1)

Automated Reasoning in Higher-order Logic (2007)
College Publications · inglés · ISBN 9781904987574

Automated Reasoning in Higher-order Logic — C, E Brown | Cutter Number