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
Proof-Theoretic Characterisations of Logic Programming

PProof-Theoretic Characterisations of Logic Programming

Número de Cutter-SanbornA567pEntrada «Andrews, J.» → 567 · marca de obra “p”

Proof-Theoretic Characterisations of Logic Programming

de James H. Andrews

Ediciones (1)

Proof-Theoretic Characterisations of Logic Programming. (1989)
University of Edinburgh, Laboratory for Foundations of Computer Science · inglés

Más obras de James H. Andrews

Tapa de College Physics Vol. 1

College Physics Vol. 1

CCollege Physics Vol. 2, Chs. 17-30

College Physics Vol. 2, Chs. 17-30

SStudent Workbook for College Physics : Pearson New Internati

Student Workbook for College Physics : Pearson New International Edition

Proof-Theoretic Characterisations of Logic Programming — James H. Andrews | Cutter Number

TThe logical structure of sequential prolog

The logical structure of sequential prolog

Tapa de Logic Programming

Logic Programming

Ver todas las obras de James H. Andrews →