Jump to main content

yr 〜
yr

Search results 8

幾何学基礎論 (ちくま学芸文庫)

幾何学基礎論 (ちくま学芸文庫)
Paper図書
D.ヒルベルト 著, 中村幸四郎 訳筑摩書房2005.12<MA91-H29>
National Diet LibraryOther Libraries in Japan
  • Contents幾何学基礎論 数の概念について 公理論的思惟
  • Subject Heading幾何学基礎論

自動定理証明における補助命題の実装について　―幾何学基礎論を題材として―

自動定理証明における補助命題の実装について　―幾何学基礎論を題材として―
Digital博士論文障害者向け資料あり
岩間, 詞也, Fumiya, IWAMA2023-03-31
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject Heading自動定理証明 幾何学基礎論 Automated Theorem Proving Fou...
  • Note (General)...たものである。ヒルベルトによる幾何学基礎論の証明（ユークリッド幾何学の定......の定理証明に対し，ヒルベルトの幾何学基礎論の手法を基に，Isabelle......章では，題材としてヒルベルトの幾何学基礎論の証明を基に，ユークリッド幾何学の定理をIsabelle/H...

幾何学の基礎 (現代数学の系譜 ; 7)

幾何学の基礎 (現代数学の系譜 ; 7)
PaperDigital図書障害者向け資料あり
ヒルベルト 著, 寺阪英孝, 大西正男 訳・解説共立出版1970<MA91-8>
National Diet LibraryOther Libraries in Japan
  • Subject Heading幾何学基礎論

幾何学基礎論

幾何学基礎論
PaperDigital図書障害者向け資料あり
ヒルベルト 著, 中村幸四郎 訳清水弘文堂書房1969<MA91-3>
National Diet LibraryOther Libraries in Japan
  • Subject Heading幾何学基礎論

Über die Hypothesen, welche der Geometrie zu Grunde liegen / B. Riemann. 2. Aufl. / neu herausgegeben und erläutert von H. Weyl.

Über die Hypothesen, welche der Geometrie zu Grunde liegen / B. Riemann. 2. Aufl. / neu herausgegeben und erläutert von H. Weyl.
Paper図書
J. Springer1921.<MA91-A22>
National Diet Library
  • Subject Heading幾何学基礎論.

幾何學基礎論 (科學古典叢書)

幾何學基礎論 (科學古典叢書)
Paper図書
ヒルベルト著弘文堂書房1943.6
Other Libraries in Japan
  • Subject Heading幾何学基礎論

Elementoj de la geometrio absoluta / verkis Cyrillo Vörös.

Elementoj de la geometrio absoluta / verkis Cyrillo Vörös.
Paper図書
Librovendejo kaj Eldonejo de L. Kókai1911.<MA91-A35>
National Diet Library
  • Subject Heading非ユークリッド[Euclid]幾何学. 幾何学基礎論.

幾何學基礎論 . 代數幾何學

幾何學基礎論 . 代數幾何學
Paper図書
彌永昌吉 [著] . 市田朝次郎 [著][出版者不明][19--]
Other Libraries in Japan
  • Subject Heading幾何学基礎論 代数幾何学
  • Subject Heading (ID)幾何学基礎論 代数幾何学
  • Note (General)2冊の合本 背に「幾何學: 幾何學基礎論, 代數幾何學」とあり 中扉に「VI. 幾何學」とあり

Reached to the end of result.

RSS