Dirk Siefkes
Autore di Pioniere der Informatik
Opere di Dirk Siefkes
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics) (1970) 2 copie
Formale Methoden und kleine Systeme : lernen, leben und arbeiten in formalen Umgebungen (1992) 2 copie
Büchis Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics) (German Edition) (1970) 1 copia
The Collected Works of J. Richard Büchi — A cura di — 1 copia
Opere correlate
Etichette
Informazioni generali
Non ci sono ancora dati nella Conoscenza comune per questo autore. Puoi aiutarci.
Utenti
Potrebbero anche piacerti
Autori correlati
Statistiche
- Opere
- 7
- Opere correlate
- 1
- Utenti
- 16
- Popolarità
- #679,947
- Voto
- 3.9
- ISBN
- 7
- Lingue
- 1