文献

J-GLOBAL ID：201202258047363025   整理番号：12A0888755

算術を用いたTPTP型付き一階形式

The TPTP Typed First-Order Form with Arithmetic

著者 (4件)： SUTCLIFFE Geoff (Univ. Miami, USA) ,  SCHULZ Stephan (Technische Univ. Muenchen, DEU) ,  CLAESSEN Koen (Chalmers Univ., SWE) ,  BAUMGARTNER Peter (ANU, AUS)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7180  ページ： 406-419  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 算術 ,  形式