An effective theorem proving algorithm

Ecsedi-Tóth Péter and Varga A.: An effective theorem proving algorithm. In: Acta cybernetica, (3) 3. pp. 249-260. (1977)

[thumbnail of cybernetica_003_fasc_003_249-260.pdf]
Cikk, tanulmány, mű

Download (723kB) | Preview
Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 1977
Volume: 3
Number: 3
ISSN: 0324-721X
Page Range: pp. 249-260
Language: English
Place of Publication: Szeged
Related URLs:
Uncontrolled Keywords: Számítástechnika, Kibernetika
Additional Information: Bibliogr.: 260. p.
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:27
Last Modified: 2022. Jun. 08. 09:54

Actions (login required)

View Item View Item