ADEPT : a heuristic program for proving theorems of group theory

著者

• Norton, Lewis M.

書誌事項

ADEPT : a heuristic program for proving theorems of group theory

by Lewis Mark Norton

Clearinghouse for Federal Scientific & Technical Information, 1966

注記

AD645660

Originally published: [Cambridge : Massachusetts Institute of Technology, Project MAC , 1966]

Original series: MAC-TR-33

Thesis--Massachusetts Institute of Technology

詳細情報

• NII書誌ID(NCID): BC16320825
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Springfield, Va.
• ページ数/冊数: 177 columns
• 大きさ: 29 cm
• 分類:
  • LCC : QA171
  • DC : 512/.22/0285425
• 件名:
  • LCSH : ADEPT
  • LCSH : Automatic theorem proving
  • LCSH : Group theory -- Data processing
  • LCSH : Heuristic programming