Introduction to HOL A theorem proving environment for higher order logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Gordon, M. J. (Επιμελητής έκδοσης), Melham, T. F. (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge Cambridge University Press c1993
Θέματα:

Παρόμοια τεκμήρια