Yazar

Dirk Siefkes

11 cilt bulundu.

Cilt sonuçları

Formalisieren und Beweisen

Dirk Siefkes · Vieweg

259 sayfa · 1990

Symbolic and mathematical Logic / Logic, symbolic and mathematical

Sequential machine theoryBüchi's monadic second order successor arithmeticDirk Siefkes

Büchi's monadic second order successor arithmetic

Dirk Siefkes · Springer-Verlag

132 sayfa · 1970

Predicate calculus / Sequential machine theory

Pioniere der Informatik

Dirk Siefkes · Springer

143 sayfa · 1998

Computer scientists / Biography / Professions, great britain

CiltSozialgeschichte der InformatikDirk Siefkes

Sozialgeschichte der Informatik

Dirk Siefkes · Deutscher Universitäts Verlag

318 sayfa · 1998

Kategori yok

Gi-4.Jahrestagung

Dirk Siefkes · Springer

760 sayfa · 1975

Kategori yok

BFuchi's monadic second order successor arithmetic

Dirk Siefkes · Springer-Verlag

154 sayfa · 1970

Kategori yok

Formale Methoden und kleine Systeme

Dirk Siefkes · Vieweg+Teubner Verlag

Sayfa sayısı yok · 1992

Formalisierung / Kleines System

Formale Methoden und kleine Systeme

Dirk Siefkes · Vieweg+Teubner Verlag

204 sayfa · 2012

Kategori yok

CiltDecidable Theories : Vol. 1Gert H. Müller, Dirk Siefkes

Decidable Theories : Vol. 1

Gert H. Müller, Dirk Siefkes · Springer London, Limited

Sayfa sayısı yok · 2006

Kategori yok

CiltFinite Automata, Their Algebras and GrammarsJ. Richard Büchi, Dirk Siefkes

Finite Automata, Their Algebras and Grammars

J. Richard Büchi, Dirk Siefkes · Springer London, Limited

Sayfa sayısı yok · 2013

Kategori yok

Pioniere der Informatik

W. Brauer, Dirk Siefkes, Anette Braun, Peter Eulenhöfer, Heike Stach · Springer Berlin Heidelberg

Sayfa sayısı yok · 1999

Kategori yok