Hybrid and First-Order Complete Extensions of <span style="font-family:sans-serif">CaRet</span>

详细信息查看全文

ContentType：Book Chapter
DOI：10.1007/978-3-642-22119-4_7
Publisher：Springer Berlin / Heidelberg
Author ：Kai Brünnler ; George Metcalfe
PrintIssn_Isbn：978-3-642-22118-7
SubjectCategory：Computer Science
Copyright：2011
SeriesParentPublication：Automated Reasoning with Analytic Tableaux and Related Methods
Volume：6793
Pages：=58-72