文献
J-GLOBAL ID:201902274838621278
整理番号:19A1136693
型理論におけるEuclidのstraighteとコンパス構成の実装【JST・京大機械翻訳】
Implementing Euclid’s straightedge and compass constructions in type theory
著者 (3件):
Kellison Ariel
(Department of Computer Science, Cornell University, Ithaca, USA)
,
Bickford Mark
(Department of Computer Science, Cornell University, Ithaca, USA)
,
Constable Robert
(Department of Computer Science, Cornell University, Ithaca, USA)
資料名:
Annals of Mathematics and Artificial Intelligence
(Annals of Mathematics and Artificial Intelligence)
巻:
85
号:
2-4
ページ:
175-192
発行年:
2019年
JST資料番号:
W2049A
ISSN:
1012-2443
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)