Theory Construction in Computational Logic

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
January 1991
Cite
Type
Conference paper
Publication
Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP

Add the full text or supplementary notes for the publication here using Markdown formatting.