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
Computational aspects of linear logic

CComputational aspects of linear logic

Número de Cutter-SanbornL738cEntrada «Lincoln, M.» → 738 · marca de obra “c”

Computational aspects of linear logic

de Patrick Lincoln · Publicada por primera vez en 1995

Materias

Data processing
Logic, Symbolic and mathematical
Proof theory
Symbolic and mathematical Logic

Ediciones (1)

Computational aspects of linear logic (1995)
MIT Press · inglés

Más obras de Patrick Lincoln

Tapa de All About Maude - A High-Performance Logical Framework

Computational aspects of linear logic — Patrick Lincoln | Cutter Number

All About Maude - A High-Performance Logical Framework

AA formally verified algorithm for interactive consistency un

A formally verified algorithm for interactive consistency under a hybrid fault model

1993

AA formally verified alrgothim for interactive consistency un

A formally verified alrgothim for interactive consistency under a hybrid fault model

1993

Ver todas las obras de Patrick Lincoln →