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
Computing in Horn clause theories

Tapa de Computing in Horn clause theories

Número de Cutter-SanbornP123cEntrada «Pad» → 123 · marca de obra “c”

Computing in Horn clause theories

de Peter Padawitz

Materias

Horn clauses
Logic programming

Ediciones (1)

Computing in Horn clause theories (1988)
Springer-Verlag · inglés

Más obras de Peter Padawitz

Tapa de Deduction and declarative programming

Deduction and declarative programming

Tapa de Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)

Ver todas las obras de Peter Padawitz →

Computing in Horn clause theories — Peter Padawitz | Cutter Number