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
The computational complexity of logical theories

TThe computational complexity of logical theories

Número de Cutter-SanbornF373cEntrada «Ferrant» → 373 · marca de obra “c”

The computational complexity of logical theories

de Jeanne Ferrante

Materias

Computational complexity
Predicate calculus

Ediciones (1)

The computational complexity of logical theories (1979)
Springer-Verlag · inglés

Más obras de Jeanne Ferrante

Tapa de Portability and performance for parallel processing

Portability and performance for parallel processing

The computational complexity of logical theories — Jeanne Ferrante | Cutter Number

C

Computational techniques in tribology and material science a

Computational techniques in tribology and material science at the atomic level

SSome upper and lower bounds on decision procedures in logic

Some upper and lower bounds on decision procedures in logic

Ver todas las obras de Jeanne Ferrante →