An effective theorem proving algorithm

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

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

Download (723kB)
Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 1977
Volume: 3
Number: 3
Page Range: pp. 249-260
ISSN: 0324-721X
Language: angol
Uncontrolled Keywords: Természettudomány, Matematika
Additional Information: Bibliogr.: 260. p.; Summary
Date Deposited: 2016. Oct. 15. 12:27
Last Modified: 2016. Oct. 15. 12:27
URI: http://acta.bibl.u-szeged.hu/id/eprint/12250

Actions (login required)

View Item View Item