検索結果 - international context methods decisions get (libr* or lib*)

提案スペルによる検索:
international context » international center , international congress , international computer
methods decisions » methods decision , method decision , methods designs
context methods » context method , content methods , concept methods
decisions get » decisions great , decisions eat , decisions data

1

表紙画像

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings /

出版事項 2005

目次: “... of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic -- A Tableau-Based Decision Procedure...”
全文の入手

電子媒体 eBook