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
Logics of programs

Tapa de Logics of programs

Número de Cutter-SanbornP231lEntrada «Pari» → 231 · marca de obra “l”

Logics of programs

de Rohit Parikh

Materias

Congresses
Symbolic and mathematical Logic
Computer programs
Logique programme
Lambda calcul
Vérification programme
Spécification programme
Programmation en logique
Théorie type
Logique mathématique

Ediciones (1)

Logics of programs (1985)
Springer-Verlag · inglés

Más obras de Rohit Parikh

Tapa de Logic Colloquium

Logic Colloquium

Tapa de Logics of Programs

Logics of Programs

TTARK Proceedings 1990 (Morgan-Kaufmann Series in Representat

TARK Proceedings 1990 (Morgan-Kaufmann Series in Representation and Raasoning)

Ver todas las obras de Rohit Parikh →

Logics of programs — Rohit Parikh | Cutter Number