Automaattisesta teoreemantodistamisesta
Automaattisesta teoreemantodistamisesta
Tallennettuna:
| Ulkoasu |
84 sivua + 41 liitesivu |
|---|---|
| Kieli |
suomi |
| Alkuteoksen kieli |
suomi |
| Julkaisija |
Turku,
1982.
|
| Opinnäyte | Pro gradu -tutkielma : Turun yliopisto, tietojenkäsittelyoppi |
| Lisätiedot | Matti Jokinen |