Proofs and ComputationsHelmut Schwichtenberg
Proofs and Computations
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2012
- שפה
- English
- הוצאה
- Cambridge University Press
- מהדורות
- 5
- עמודים
- 482
- ISBN
- 9781280484858
מקור הנתונים: Wikidata
עוד של Helmut Schwichtenberg
Computer science logicHelmut Schwichtenberg
Computer science logic
Helmut Schwichtenberg · 2000
Logic of ComputationHelmut Schwichtenberg
Logic of Computation
Helmut Schwichtenberg · 1997
Proof and ComputationHelmut Schwichtenberg
Proof and Computation
Helmut Schwichtenberg · 2018
Proof and System-ReliabilityHelmut Schwichtenberg
Proof and System-Reliability
Helmut Schwichtenberg · 2012
Proofs and Computations (Perspectives in Logic)Helmut Schwichtenberg
Proofs and Computations (Perspectives in Logic)
Helmut Schwichtenberg · 2012