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
Autores con P
Patrick Lincoln

Número de Cutter-SanbornL738Entrada de tabla «Lincoln, M.»

Patrick Lincoln

· 4 obras en el catálogo

Obras

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

All About Maude - A High-Performance Logical Framework

Tapa de Computational aspects of linear logic

Computational aspects of linear logic

1995

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

Patrick Lincoln — obras y número de Cutter | Cutter Number