文献
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)