Title: Formale Programmentwicklung mit dynamischer Logik
First published: 1992
Subjects: Logic  programming, Logic programming
LC classification: QA76.63 .H45 1992