Automated interpretation of S-invariants of predicate/transition nets: an application of non-classical logics
Finna-árvvoštallan
Automated interpretation of S-invariants of predicate/transition nets: an application of non-classical logics
Furkejuvvon:
| Olgguldas hápmi |
31 sivua |
|---|---|
| Giella |
eaŋgalasgiella |
| Olggosaddi |
Espoo :
TKK,
1991.
|
| Ráidu | Helsinki University of Technology. Digital Systems Laboratory. Series A, Research reports, ISSN 0783-5396; 15 |
| Klassifikašuvdna | |
| ISBN |
951-22-0814-8 |