A modelling tool based on mathematical logic T-PROLOG
Elmentve itt :
Szerzők: | |
---|---|
Dokumentumtípus: | Cikk |
Megjelent: |
1981
|
Sorozat: | Acta cybernetica
5 No. 3 |
Kulcsszavak: | Számítástechnika, Kibernetika, Matematika |
Tárgyszavak: | |
Online Access: | http://acta.bibl.u-szeged.hu/12324 |
Terjedelem/Fizikai jellemzők: | 363-375 |
---|---|
ISSN: | 0324-721X |