Catalogo · 9783662366783
Büchi's monadic second order successor arithmetic
ISBN 9783662366783
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Formalisieren und Beweisen
Dirk Siefkes
Sozialgeschichte der Informatik
Dirk Siefkes
Pioniere der Informatik
Dirk Siefkes
Gi-4.Jahrestagung
Dirk Siefkes
Formale Methoden und kleine Systeme
Dirk Siefkes
Pioniere der Informatik
W. Brauer, Dirk Siefkes, Anette Braun, Peter Eulenhöfer, Heike Stach
Decidable Theories : Vol. 1
Gert H. Müller, Dirk Siefkes
Finite Automata, Their Algebras and Grammars
J. Richard Büchi, Dirk Siefkes
Verba volant · scripta manent