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

Saved in:
Bibliographic Details
Main Authors: Gergely Tamás
Úry László
Format: Article
Published: 1980
Series:Acta cybernetica 4 No. 4
Kulcsszavak:Számítástechnika, Kibernetika
Subjects:
Online Access:http://acta.bibl.u-szeged.hu/12296
Description
Physical Description:333-354
ISSN:0324-721X