From logic design to logic programming (e-book)
Snyers, Dominique
From logic design to logic programming (e-book) - Berlin Springer 1987 - Lecture Notes in Computer Science (LNCS) v.271 .
978-3-540-47811-9
From logic design to logic programming (e-book) - Berlin Springer 1987 - Lecture Notes in Computer Science (LNCS) v.271 .
978-3-540-47811-9