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
Logical frameworks

Tapa de Logical frameworks

Número de Cutter-SanbornP729lEntrada «Plo» → 729 · marca de obra “l”

Logical frameworks

Materias

Logic
Frames (Information theory)
Automatic theorem proving
Symbolic and mathematical Logic
Logic programming
Congresses
Computer science

Ediciones (1)

Logical frameworks (1991)
Cambridge University Press · inglés

Más obras de G. Plotkin

Tapa de Semantics of data types

Semantics of data types

Tapa de Logical environments

Logical environments

Tapa de Proof, language, and interaction

Proof, language, and interaction

Ver todas las obras de G. Plotkin →

Logical frameworks — G. Plotkin | Cutter Number