Introduction to HOL A theorem proving environment for higher order logic

• Άλλοι συγγραφείς: Gordon, M. J. (Επιμελητής έκδοσης), Melham, T. F. (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge Cambridge University Press c1993
• Θέματα: HIGHER ORDER LOGIC; HOL; ΕΠΕΑΕΚ
• Φυσική περιγραφή: xii,472p.
• ISBN: 0 521 44189 7