Nondeterministic programming within the frame of first order classical logic part 1 /

Elmentve itt :
Bibliográfiai részletek
Szerzők: Gergely Tamás
Úry László
Dokumentumtípus: Cikk
Megjelent: 1980
Sorozat:Acta cybernetica 4 No. 4
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12296
Leíró adatok
Terjedelem/Fizikai jellemzők:333-354
ISSN:0324-721X