An effective theorem proving algorithm

Ecsedi-Tóth Péter; 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]
Előnézet
Cikk, tanulmány, mű
cybernetica_003_fasc_003_249-260.pdf

Letöltés (723kB) | Előnézet
Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 1977
Kötet: 3
Szám: 3
ISSN: 0324-721X
Oldalak: pp. 249-260
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38467/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: 260. p.
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:27
Utolsó módosítás: 2022. jún. 08. 09:54
URI: http://acta.bibl.u-szeged.hu/id/eprint/12250
Bővebben:
Tétel nézet Tétel nézet