Title: Intelligent backtracking for an interpreter of Horn clause logic programs
Authors: Bruynooghe, Maurice # ×
Issue Date: 1981
Publisher: North Holland
Host Document: Mathematical Logic in Computer Science, Proc. Colloquium, Salgotarjan, sept '78 pages:215-257
Conference: Colloquium Mathematical Logic in Computer Science location:Salgotarjan, Hungary date:September 1978
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
20011001.pdf Published 3882KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.