Formalized mathematics
Finna-arvio
Formalized mathematics
Tallennettuna:
Ulkoasu |
54, [2] sivua ; 25 cm |
---|---|
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Julkaisija |
Turku :
Turku Centre for Computer Science,
1996.
|
Sarja | TUCS technical report, ISSN 1239-1891; no 36. |
Luokitus | |
Lisätiedot | John Harrison |
ISBN |
951-650-813-8 nidottu |