Dirk Siefkes
Popular items by Dirk Siefkes
View all offers-
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Siefkes, Dirk
Item prices starting from
View 8 offers£ 23.34
-
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik)
Siefkes, Dirk
Item prices starting from
View 18 offers£ 6.02
-
Büchi’s Monadic Second Order Successor Arithmetic (Lecture Notes in Mathematics)
Siefkes, Dirk
Item prices starting from
View 13 offers£ 8.70
-
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik)
Siefkes, Dirk
Item prices starting from
View 12 offers£ 14.56
-
GI-4.Jahrestagung: Berlin, 9.–12. Oktober 1974: 26 (Lecture Notes in Computer Science, 26)
Siefkes, Dirk
Item prices starting from
View 12 offers£ 48.24
Also find
New -
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen (XTheorie der Informatik)
Siefkes, Dirk
Item prices starting from
View 9 offers£ 66.41
