Roy Dyckhoff

Roy Dyckhoff

2 books in the database

Books

Automated Reasoning with Analytic Tableaux and Related MethodsRoy Dyckhoff

Automated Reasoning with Analytic Tableaux and Related Methods

Roy Dyckhoff · 2000

Extensions of Logic ProgrammingRoy Dyckhoff

Extensions of Logic Programming

Roy Dyckhoff · 1994