数学
Online ISSN : 1883-6127
Print ISSN : 0039-470X
ISSN-L : 0039-470X
機械による数学の証明のプログラム
推理解析学の現状
赤 摂也
著者情報
ジャーナル フリー

1960 年 12 巻 2 号 p. 114-118

詳細
記事の1ページ目
著者関連情報
© 日本数学会
前の記事 次の記事
feedback
Top