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

Tapa de Meta-logics and logic programming

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

Meta-logics and logic programming

de Krzysztof R. Apt

5.0 · 2 votos

Materias

Logic programming
Symbolic and mathematical Logic
Logic, symbolic and mathematical

Ediciones (1)

Meta-logics and logic programming (1995)
MIT Press · inglés

Más obras de Krzysztof R. Apt

Tapa de Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Tapa de Lectures in game theory for computer scientists

Lectures in game theory for computer scientists

Tapa de Foundations of deductive databases and logic programming

Foundations of deductive databases and logic programming

Meta-logics and logic programming — Krzysztof R. Apt | Cutter Number

Tapa de New perspectives on games and interaction

New perspectives on games and interaction

Tapa de Principles of constraint programming

Principles of constraint programming

Tapa de Formal description of programming concepts

Formal description of programming concepts

Ver todas las obras de Krzysztof R. Apt →