MPG.eBooks - Search Results

Cover Image

1

The Collected Works of J. Richard Büchi

by Büchi, J. Richard
Published 1990

Springer New York

Cover Image

2

Formalisieren und Beweisen : Logik für Informatiker

by Siefkes, Dirk
Published 1992

Vieweg+Teubner Verlag

Cover Image

3

Finite Automata, Their Algebras and Grammars : Towards a Theory of Formal Expressions

by Büchi, J. Richard
Published 1989

Springer New York

Cover Image

4

Decidable Theories : Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

by Siefkes, Dirk
Published 1970

Springer Berlin Heidelberg

Cover Image

5

Pioniere der Informatik : Ihre Lebensgeschichte im Interview

Published 1999

Springer Berlin Heidelberg

Cover Image

6

Büchi’s Monadic Second Order Successor Arithmetic

by Siefkes, Dirk
Published 1970

Springer Berlin Heidelberg

Cover Image

7

GI-4.Jahrestagung : Berlin, 9.–12. Oktober 1974

by Siefkes, Dirk
Published 1975

Springer Berlin Heidelberg

Cover Image

8

Formale Methoden und kleine Systeme : Lernen, leben und arbeiten in formalen Umgebungen

by Siefkes, Dirk
Published 1993

Vieweg+Teubner Verlag

Cover Image

9

Formalisieren und Beweisen : Logik für Informatiker

by Siefkes, Dirk
Published 1990

Vieweg+Teubner Verlag