Follow the Author
Siefkes, Dirk
Siefkes, Dirk
E-books
Mathematics and Science
Mathematics
Mathematical foundations
Mathematical logic
Technology, Engineering, Agriculture, Industrial processes
Technology: general issues
Engineering: general
Computing and Information Technology
Computer science

Author's Books

Formale Methoden und kleine Systeme
product_type_E-book
Formale Methoden und kleine Systeme
Siefkes, DirkSiefkes, Dirk
Price
0
30.83 £
Sichtweisen der Informatik
product_type_E-book
Sichtweisen der Informatik
Siefkes, DirkSiefkes, Dirk
Price
0
30.83 £
Formalisieren und Beweisen
product_type_E-book
Formalisieren und Beweisen
Siefkes, DirkSiefkes, Dirk
Price
0
28.32 £
Formalisieren und Beweisen
product_type_E-book
Formalisieren und Beweisen
Siefkes, DirkSiefkes, Dirk
Price
0
28.32 £
Decidable Theories
product_type_E-book
Decidable Theories
Siefkes, DirkSiefkes, Dirk
Price
0
22.99 £
Büchi’s Monadic Second Order Successor Arithmetic
product_type_E-book
Büchi’s Monadic Second Order Successor Arithmetic
Siefkes, DirkSiefkes, Dirk
Price
0
31.99 £
GI-4.Jahrestagung
product_type_E-book
GI-4.Jahrestagung
Siefkes, DirkSiefkes, Dirk
Price
0
31.99 £