The generalised completeness of Horn predicate-logic as a programming language

Saved in:
Bibliographic Details
Main Authors: Andréka Hajnal
Németi István
Format: Article
Published: 1978
Series:Acta cybernetica 4 No. 1
Kulcsszavak:Számítástechnika, Kibernetika
Subjects:
Online Access:http://acta.bibl.u-szeged.hu/12260
Description
Physical Description:3-10
ISSN:0324-721X