Päättelypuu modaalilogiikan todistusmenetelmänä
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Pro gradu |
| Kieli: | fin |
| Julkaistu: |
Jyväskylä,
2007.
|
| Aiheet: | |
| Linkit: | https://jyu.finna.fi/Record/jykdok.1040950 |
| Kuvausta ei saatavissa. |
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Pro gradu |
| Kieli: | fin |
| Julkaistu: |
Jyväskylä,
2007.
|
| Aiheet: | |
| Linkit: | https://jyu.finna.fi/Record/jykdok.1040950 |
| Kuvausta ei saatavissa. |