Catalogo · 9783322856210
Formalisieren und Beweisen
ISBN 9783322856210
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Sozialgeschichte der Informatik
Dirk Siefkes
Pioniere der Informatik
Dirk Siefkes
Gi-4.Jahrestagung
Dirk Siefkes
Formale Methoden und kleine Systeme
Dirk Siefkes
Büchi's monadic second order successor arithmetic
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