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
Antonio Brogi
Antonio Brogi
Full Professor

Full Professor @ Department of Computer Science, University of Pisa, Italy.