Interactive theorem proving in symbolic incidence geometry

CiNii

書誌事項

タイトル
"Interactive theorem proving in symbolic incidence geometry"
責任表示
Johannes Ueberberg
出版者
  • Selbstverlag des Mathematischen Instituts
出版年月
  • 1998
書籍サイズ
21 cm

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 209-212) and index

"Die vorliegende Arbeit wurde als Habilitationsschrift vom Fachbereich Mathematik der Justus-Universität angenommen." -- T.p. verso

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

  • CRID
    1130282270664802432
  • NII書誌ID
    BA87318228
  • 本文言語コード
    en
  • 出版国コード
    gw
  • タイトル言語コード
    en
  • 出版地
    • Giessen
  • 分類
  • データソース種別
    • CiNii Books
ページトップへ