Nondeterministic programming within the frame of first order classical logic : part 2

Gergely, Tamás and Úry, László: Nondeterministic programming within the frame of first order classical logic : part 2. Acta cybernetica, (4) 4. pp. 355-375. (1980)

[img] Cikk, tanulmány, mű
cybernetica_004_fasc_004_355-375.pdf

Download (1MB)
Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 1980
Volume: 4
Number: 4
Page Range: pp. 355-375
ISSN: 0324-721X
Language: angol
Uncontrolled Keywords: Természettudomány, Informatika
Additional Information: Bibliogr.: 375. p.; Abstract
Date Deposited: 2016. Oct. 15. 12:27
Last Modified: 2016. Oct. 15. 12:27
URI: http://acta.bibl.u-szeged.hu/id/eprint/12297

Actions (login required)

View Item View Item