Title: From logic to logic programming
First published: 1994
Subjects: Logic programming, Wiskundige logica, Langages de programmation, Resolventenprinzip, Programmation logique, Logisch programmeren, Logique
LC classification: QA76.63 .D64 1994