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 environments

Tapa de Logical environments

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

Logical environments

Materias

Congresses
Symbolic and mathematical Logic
Artificial intelligence
Automatic theorem proving
Logic, symbolic and mathematical
Frames (Information theory)
Logic
Computer science
Mathematics
Logic programming

Ediciones (1)

Logical environments (1993)
Cambridge University Press · inglés

Más obras de G. Plotkin

Tapa de Semantics of data types

Semantics of data types

Tapa de Logical frameworks

Logical frameworks

Tapa de Proof, language, and interaction

Proof, language, and interaction

Ver todas las obras de G. Plotkin →

Logical environments — G. Plotkin | Cutter Number