1
Published 2005
Table of Contents: ... Theories -- The nomore++ System -- Smodels A — A System for Computing Answer Sets of Logic Programs...
View full text
Electronic eBook