Nondeterministic programming within the frame of first order classical logic part 1 /
Saved in:
Main Authors: | |
---|---|
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 |
Physical Description: | 333-354 |
---|---|
ISSN: | 0324-721X |