A modelling tool based on mathematical logic T-PROLOG

Elmentve itt :
Bibliográfiai részletek
Szerzők: Futó István
Szeredi János
Szenes Katalin
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
LEADER 00834nab a2200241 i 4500
001 acta12324
005 20220609132414.0
008 161015s1981 hu o 0|| eng d
022 |a 0324-721X 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Futó István 
245 1 2 |a A modelling tool based on mathematical logic T-PROLOG  |h [elektronikus dokumentum] /  |c  Futó István 
260 |c 1981 
300 |a 363-375 
490 0 |a Acta cybernetica  |v 5 No. 3 
650 4 |a Természettudományok 
650 4 |a Matematika 
650 4 |a Számítás- és információtudomány 
695 |a Számítástechnika, Kibernetika, Matematika 
700 0 1 |a Szeredi János  |e aut 
700 0 1 |a Szenes Katalin  |e aut 
856 4 0 |u http://acta.bibl.u-szeged.hu/12324/1/cybernetica_005_numb_003_363-375.pdf  |z Dokumentum-elérés