Introduction to HOL : a theorem proving environment for higher order logic
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:27268 |
|---|---|
| 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 |