| 000 | 00762nam a22002413u 4500 | ||
|---|---|---|---|
| 001 | 10105310 | ||
| 003 | upatras | ||
| 005 | 20210117204148.0 | ||
| 008 | 991022s eng | ||
| 020 | _a0 521 44189 7 | ||
| 040 |
_aΒιβλιοθήκη ΕΑΙΤΥ _cΒιβλιοθήκη ΕΑΙΤΥ |
||
| 041 | 0 | _aeng | |
| 245 | 1 | 0 |
_aIntroduction to HOL _bA theorem proving environment for higher order logic |
| 260 |
_aCambridge _bCambridge University Press _cc1993 |
||
| 300 | _axii,472p. | ||
| 650 | 4 |
_aHIGHER ORDER LOGIC _9124202 |
|
| 650 | 4 |
_aHOL _9124203 |
|
| 650 | 4 |
_aΕΠΕΑΕΚ _9116438 |
|
| 700 | 1 |
_aGordon, M. J. _4edt _9124206 |
|
| 700 | 1 |
_aMelham, T. F. _4edt _9124207 |
|
| 942 | _2ddc | ||
| 999 |
_c89725 _d89725 |
||