Automated interpretation of S-invariants of predicate/transition nets : an application of non-classical logics
Finna-arvio
Automated interpretation of S-invariants of predicate/transition nets : an application of non-classical logics
Tallennettuna:
| Ulkoasu |
ii, 31, [2] s. : kuvitettu ; 25 cm |
|---|---|
| Kieli |
englanti |
| Julkaisija |
Espoo :
Helsinki University of Technology,
1991.
|
| Sarja | Helsinki University of Technology. Digital Systems Laboratory. Series A, Research reports, ISSN 0783-5396; 15 Helsinki University of Technology. Digital Systems Laboratory. Series A, Research reports, ISSN 0783-5396; no. 15 |
| Luokitus | |
| Lisätiedot | Abbas Moslemie |
| ISBN |
951-22-0814-8 pehmeäkantinen |
| Standarditunnukset |
(FI-MELINDA)003840715 20230926044019.0 |