• search hit 69 of 960
Back to Result List

A top-down procedure for disjucntive well-founded semantics

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Kewen Wang
ISBN:3-540-42254-4
Document Type:Article
Language:English
Year of first Publication:2001
Year of Completion:2001
Release Date:2017/03/24
Source:Automated reasoning : first international joint conference ; proceddings / IJCAR 2001, Siena, Italy, June 18 - 22, 2001 / Hrsg.: Rajeev Goré [u.a.]. - Berlin [u.a.] : Springer, 2001. - (Lecture notes in computer science ; 2083 : Lecture notes in artificial intelligence). - ISBN 3-540-42254-4. - S. 305 - 317
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
Institution name at the time of publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik