Checking Landau's "Grundlagen" in the automath system

著者

• Benthem Jutting, L. S. van

書誌事項

Checking Landau's "Grundlagen" in the automath system

L.S. van Benthem Jutting

（Mathematical Centre tracts, 83）

Mathematisch Centrum, 1979

• pbk.

注記

Bibliography: p. 120

詳細情報

• NII書誌ID(NCID): BA04014190
• ISBN:
  • 9061961475
• LCCN: 80494257
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: 120 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA241
  • DC19 : 512/.7
• 件名:
  • LCSH : Numbers, Theory of
  • LCSH : AUTOMATH (Formal language)
  • LCSH : Machine translating
  • LCSH : Landau, Edmund, 1877-1938. Grundlagen des Analysis
• 親書誌ID:
  • BA0072600X