Büchi's monadic second order successor arithmeticDirk Siefkes
Büchi's monadic second order successor arithmetic
Dirk Siefkes · 1970
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1970
- שפה
- German
- הוצאה
- Springer
- מהדורות
- 2
- עמודים
- 133
- ISBN
- 9783662358481
מקור הנתונים: Wikidata
עוד של Dirk Siefkes
Formale Methoden und kleine SystemeDirk Siefkes
Formale Methoden und kleine Systeme
Dirk Siefkes · 2012
Pioniere der InformatikDirk Siefkes
Pioniere der Informatik
Dirk Siefkes · 1998
Formalisieren und BeweisenDirk Siefkes
Formalisieren und Beweisen
Dirk Siefkes · 1992
Formale Methoden und kleine SystemeDirk Siefkes
Formale Methoden und kleine Systeme
Dirk Siefkes · 1992
Gi-4.JahrestagungDirk Siefkes
Gi-4.Jahrestagung
Dirk Siefkes · 1975
Sozialgeschichte der InformatikDirk Siefkes
Sozialgeschichte der Informatik
Dirk Siefkes · 2013