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
Finite Model Theory and Its Applications

Tapa de Finite Model Theory and Its Applications

Número de Cutter-SanbornG732fEntrada «Grad» → 732 · marca de obra “f”

Finite Model Theory and Its Applications

de Erich Grädel

Materias

Logic design
Symbolic and mathematical Logic
Computer science
Software engineering
Database management
Model theory
Finite model theory
Computational complexity
Constraint databases

Ediciones (1)

Finite Model Theory and Its Applications — Erich Grädel | Cutter Number

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) (2007)

Springer · inglés · ISBN 9783540004288

Más obras de Erich Grädel

Tapa de Lectures in game theory for computer scientists

Lectures in game theory for computer scientists

Tapa de Automata, logics, and infinite games

Automata, logics, and infinite games

Tapa de Logic and automata

Logic and automata

Ver todas las obras de Erich Grädel →