An effective theorem proving algorithm

Elmentve itt :
Bibliográfiai részletek
Szerzők: Ecsedi-Tóth Péter
Varga A.
Dokumentumtípus: Cikk
Megjelent: 1977
Sorozat:Acta cybernetica 3 No. 3
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12250
Leíró adatok
Terjedelem/Fizikai jellemzők:249-260
ISSN:0324-721X