Home›Books›Formale Programmentwicklung mit dynamischer LogikFormale Programmentwicklung mit dynamischer Logikby Maritta Heisel · 1992No description available.Logic programmingLogic programming