Introduction to HOL : a theorem proving environment for higher order logic
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:27268/Similar |
|---|---|
| Ostali autori: | Gordon, M.J.C (Editor), Melham, T.F |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Cambridge :
Cambridge University Press,
1993.
|
| Izdanje: | 1. izd |
APA stil citiranja
Gordon, M., & Melham, T. (1993). Introduction to HOL : a theorem proving environment for higher order logic: Introduction to HOL : a theorem proving environment for higher order logic (1. izd.). Cambridge: Cambridge University Press.
Chicago stil citiranjaGordon, M.J.C, and T.F Melham. Introduction to HOL : a theorem proving environment for higher order logic: Introduction to HOL : a theorem proving environment for higher order logic. 1. izd. Cambridge: Cambridge University Press, 1993.
MLA stil citiranjaGordon, M.J.C, and T.F Melham. Introduction to HOL : a theorem proving environment for higher order logic: Introduction to HOL : a theorem proving environment for higher order logic. 1. izd. Cambridge: Cambridge University Press, 1993.