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 methods

Tapa de Logical methods

Número de Cutter-SanbornN451lEntrada «Neroc» → 451 · marca de obra “l”

Logical methods

de Anil Nerode, John N. Crossley

Materias

Logic programming
Symbolic and mathematical Logic
Logic, symbolic and mathematical

Ediciones (1)

Logical methods (1993)
Springer · inglés · ISBN 9781461203254

Más obras de Anil Nerode

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 methods — Anil Nerode, John N. Crossley | Cutter Number

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

Ver todas las obras de Anil Nerode →