Computation, proof, machine : mathematics enters a new age

著者

• Dowek, Gilles
• Guillot, Pierre
• Roman, Marion

書誌事項

Computation, proof, machine : mathematics enters a new age

Gilles Dowek ; translated from the French by Pierre Guillot and Marion Roman

Cambridge University Press, 2015

• : hardback

タイトル別名

Les métamorphoses du calcul

注記

Originally published: Paris : Pommier, c2007

Includes bibliographical references (p. 149-152) and index

詳細情報

• NII書誌ID(NCID): BB19367817
• ISBN:
  • 9780521118019
• LCCN: 2015004116
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: fre
• 出版地: New York, NY
• ページ数/冊数: viii, 152 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA26
  • DC23 : 510.9
• 件名:
  • LCSH : Mathematics -- History -- 20th century
  • LCSH : Mathematics -- History
  • LCSH : Mathematics, Ancient