Mechanizing ProofDonald MacKenzie
Mechanizing Proof
Donald MacKenzie · 2004
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2004
- שפה
- English
- הוצאה
- MIT Press
- מהדורות
- 1
- עמודים
- 440
- ISBN
- 9780262278829
מקור הנתונים: Wikidata
עוד של Donald MacKenzie
Key Debates in New Political EconomyDonald MacKenzie
Key Debates in New Political Economy
Donald MacKenzie · 2006
Mechanizing ProofDonald MacKenzie
Mechanizing Proof
Donald MacKenzie · 2001
Footprints Of Early ManDonald MacKenzie
Footprints Of Early Man
Donald MacKenzie · 2006
Inventing AccuracyDonald MacKenzie
Inventing Accuracy
Donald MacKenzie · 1993
Last of the BoatridersDonald MacKenzie
Last of the Boatriders
Donald MacKenzie · 1981
Inside Digital AdvertisingDonald MacKenzie
Inside Digital Advertising
Donald MacKenzie · 2025
Khalifate of the WestDonald MacKenzie
Khalifate of the West
Donald MacKenzie · 2023
Teutonic Myth and LegendDonald MacKenzie
Teutonic Myth and Legend
Donald MacKenzie · 2022
Flooding of the SaharaDonald MacKenzie
Flooding of the Sahara
Donald MacKenzie · 2022
Myths of China and JapanDonald MacKenzie
Myths of China and Japan
Donald MacKenzie · 2022