"Code Improvements for Model Elimination Based Reasoning Systems."

Richard A. Hagen, Scott D. Goodwin, Abdul Sattar (2004)

Details and statistics

DOI:

access: open

type: Conference or Workshop Paper

metadata version: 2021-02-10

a service of  Schloss Dagstuhl - Leibniz Center for Informatics