Ein Ansatz zum Entscheidungsverfahren für eine Formelklasse der Prädikatenlogik mit Identität

Elmentve itt :
Bibliográfiai részletek
Szerző: Schütte Kurt
Dokumentumtípus: Cikk
Megjelent: 1978
Sorozat:Acta cybernetica 4 No. 1
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12273
Leíró adatok
Terjedelem/Fizikai jellemzők:141-148
ISSN:0324-721X