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
Graph-based proof procedures for horn clauses

Tapa de Graph-based proof procedures for horn clauses

Número de Cutter-SanbornR111gEntrada «Ra» → 111 · marca de obra “g”

Graph-based proof procedures for horn clauses

Materias

Graph theory
Horn clauses
Logic programming
Proof theory
Data processing

Ediciones (1)

Graph-based proof procedures for horn clauses (1990)
Birkhaüser · inglés

Graph-based proof procedures for horn clauses — Stan Raatz | Cutter Number