Peter Padawitz

Peter Padawitz

2 books in the database

Books

Computing in Horn Clause TheoriesPeter Padawitz

Computing in Horn Clause Theories

Peter Padawitz · 1988

Deductive and Declarative ProgrammingPeter Padawitz

Deductive and Declarative Programming

Peter Padawitz · 2011