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
Formalisieren und Beweisen

Tapa de Formalisieren und Beweisen

Número de Cutter-SanbornS571fEntrada «Sie» → 571 · marca de obra “f”

Formalisieren und Beweisen

de Dirk Siefkes

Materias

Symbolic and mathematical Logic
Logic, symbolic and mathematical

Ediciones (4)

Formalisieren und Beweisen (2013)
Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH · alemán · ISBN 9783322856210
Formalisieren und Beweisen (2013)
Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH · alemán · ISBN 9783322917690
Formalisieren und Beweisen (1992)
Vieweg+Teubner Verlag · ISBN 9783528147570
Formalisieren und Beweisen (1990)
Vieweg · alemán

Más obras de Dirk Siefkes

Formalisieren und Beweisen — Dirk Siefkes | Cutter Number

Tapa de Formale Methoden und kleine Systeme

Formale Methoden und kleine Systeme

Tapa de Pioniere der Informatik

Pioniere der Informatik

Tapa de Gi-4.Jahrestagung

Gi-4.Jahrestagung

Tapa de Formale Methoden und kleine Systeme

Formale Methoden und kleine Systeme

Tapa de Pioniere der Informatik

Pioniere der Informatik

FFinite Automata, Their Algebras and Grammars

Finite Automata, Their Algebras and Grammars

Ver todas las obras de Dirk Siefkes →