Introduction to HOL A theorem proving environment for higher order logic

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

ΒΚΠ - Πατρα: ALFf

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: ALFf
Ταξιθετικός Αριθμός: 004.3 GOR
Αντίγραφο 1 Στη βιβλιοθήκη