Mechanising procedures in HOL
Finna-arvio
Mechanising procedures in HOL
Tallennettuna:
Ulkoasu |
19, [2] sivua ; 25 cm |
---|---|
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Julkaisija |
Turku :
Turku Centre for Computer Science,
1999.
|
Sarja | TUCS technical report, ISSN 1239-1891; no 253. |
Luokitus | |
Lisätiedot | Linas Laibinis |
ISBN |
952-12-0406-0 nidottu |
Hae kokoteksti |