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
Automata, logics, and infinite games

Tapa de Automata, logics, and infinite games

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

Automata, logics, and infinite games

de Erich Grädel, Wolfgang Thomas

Materias

Machine theory
Mathematics
Symbolic and mathematical Logic
Computer science
Game theory
Computer science, mathematics
Logic, symbolic and mathematical

Ediciones (2)

Automata, logics, and infinite games (2002)

Automata, logics, and infinite games — Erich Grädel, Wolfgang Thomas | Cutter Number

Springer · inglés

Automata, logics, and infinite games (2002)

Springer · inglés

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

Finite Model Theory and Its Applications

Tapa de Logic and automata

Logic and automata

Ver todas las obras de Erich Grädel →