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 A
Anil Nerode

Número de Cutter-SanbornN451Entrada de tabla «Neroc»

Anil Nerode

1932 · 10 obras en el catálogo

Obras

Tapa de Logic programming and non-monotonic reasoning

Logic programming and non-monotonic reasoning

Tapa de Logic programming and non-monotonic reasoning

Logic programming and non-monotonic reasoning

Tapa de Logical foundations of computer science

Logical foundations of computer science

Tapa de Logical foundations of computer science--Tver '92

Logical foundations of computer science--Tver '92

Tapa de Automata theory and its applications

Automata theory and its applications

Tapa de Logical methods

Logical methods

Tapa de Logical methods

Logical methods

LLogical Foundations of Computer Science

Logical Foundations of Computer Science

1994

Tapa de Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992

Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992

1992

Tapa de Logic for applications

Logic for applications

1993

Anil Nerode (1932–) — obras y número de Cutter | Cutter Number