Proof and ComputationHelmut Schwichtenberg

Proof and Computation
Helmut Schwichtenberg · 2018
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2018
- שפה
- English
- הוצאה
- World Scientific Publishing Co Pte Ltd
- מהדורות
- 5
- עמודים
- 291
- ISBN
- 9789813270930
מקור הנתונים: 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 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
Proofs and ComputationsHelmut Schwichtenberg
Proofs and Computations
Helmut Schwichtenberg · 2012