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
Meta-Logics and Logic Programming

MMeta-Logics and Logic Programming

Número de Cutter-SanbornA655mEntrada «Apt» → 655 · marca de obra “m”

Meta-Logics and Logic Programming

de Krzysztof Apt, Franco Turini

Materias

Logic programming
Logic, symbolic and mathematical

Ediciones (1)

Meta-Logics and Logic Programming (2003)
MIT Press · inglés · ISBN 9780262511681

Más obras de Krzysztof Apt

Tapa de Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Meta-Logics and Logic Programming — Krzysztof Apt, Franco Turini | Cutter Number

PPrinciples of Constraint Programming

Principles of Constraint Programming

Tapa de Logic Programming

Logic Programming

Ver todas las obras de Krzysztof Apt →