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
Logic programming

Tapa de Logic programming

Número de Cutter-SanbornH553lEntrada «Herme» → 553 · marca de obra “l”

Logic programming

de Manuel Hermenegildo

4.0 · 1 votos

Materias

Logic programming
Programmation logique
Congresses
Congrès

Ediciones (2)

Logic programming (1990)
MIT Press · inglés
Logic Programming (1990)
The MIT Press · inglés · ISBN 9780262540582

Logic programming — Manuel Hermenegildo | Cutter Number

Más obras de Manuel Hermenegildo

Tapa de Analysis and visualization tools for constraint programming

Analysis and visualization tools for constraint programming

VVerification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

PPractical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

FFunctional and Logic Programming

Functional and Logic Programming

SStatic Analysis

Static Analysis

Tapa de Programming language implementation and logic programming

Programming language implementation and logic programming

1994

Ver todas las obras de Manuel Hermenegildo →