booktheque

Theorem Proving in Higher Order Logics

Tom Melham · 2005

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
2005
שפה
English
הוצאה
Springer
מהדורות
2
עמודים
409
ISBN
9783540283720

מקור הנתונים: Wikidata