文献
J-GLOBAL ID:202002221466042821
整理番号:20A1495471
単調[数式:原文を参照]計算におけるNP推論【JST・京大機械翻訳】
NP Reasoning in the Monotone [Formula : see text]-Calculus
著者 (2件):
Hausmann Daniel
(Friedrich-Alexander-Universitaet Erlangen-Nuernberg, Erlangen, Germany)
,
Schroder Lutz
(Friedrich-Alexander-Universitaet Erlangen-Nuernberg, Erlangen, Germany)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
12166
ページ:
482-499
発行年:
2020年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)