Mechanizing ProofDonald A. MacKenzie
Mechanizing Proof
Donald A. MacKenzie · 2001
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2001
- שפה
- English
- הוצאה
- MIT Press
- מהדורות
- 1
- ISBN
- 9780585436739
מקור הנתונים: Wikidata
עוד של Donald A. MacKenzie
An engine, not a cameraDonald A. MacKenzie
An engine, not a camera
Donald A. MacKenzie · 2006
The social shaping of technologyDonald A. MacKenzie
The social shaping of technology
Donald A. MacKenzie · 1999
Knowing machinesDonald A. MacKenzie
Knowing machines
Donald A. MacKenzie · 1996
Myths of Babylonia and AssyriaDonald A. MacKenzie
Myths of Babylonia and Assyria
Donald A. MacKenzie · 2013
Do economists make markets?Donald A. MacKenzie
Do economists make markets?
Donald A. MacKenzie · 2007
Indian Myth and LegendDonald A. MacKenzie
Indian Myth and Legend
Donald A. MacKenzie · 2007
Ancient Beliefs Connected With the Cross and SwastikaDonald A. MacKenzie
Ancient Beliefs Connected With the Cross and Swastika
Donald A. MacKenzie · 2005
Myths of China And JapanDonald A. MacKenzie
Myths of China And Japan
Donald A. MacKenzie · 2005
Elves and HeroesDonald A. MacKenzie
Elves and Heroes
Donald A. MacKenzie · 2004
Myths of Babylonia and AssyriaDonald A. MacKenzie
Myths of Babylonia and Assyria
Donald A. MacKenzie · 2004