in AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743
Volume: 5607, Pages: 295-309 (15)
Conference
18Th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Date: JUL 06-10, 2009, Location: Oslo, NORWAY, Sponsors: Norwegian Res Council, Norwegian Oil Ind Assoc, Gaz France SUEZ, DNV, Computas AS, Univ Oslo, Dept Informat, City Oslo
