Automation in language translation and theorem proving : some applications of mathematical logic

著者

• Braffort, P. (Paul)
• Scheepen, F. van
• Commission of the European Communities. Dissemination of Scientific and Technical Knowledge Unit

書誌事項

Automation in language translation and theorem proving : some applications of mathematical logic

edited by P. Braffort and F. van Scheepen

Commission of the European Communities, Directorate-General for Dissemination of Information, 1968

注記

"EUR 4038 e"

Includes bibliographies

• NII書誌ID(NCID): BA25072300
• LCCN: 77467790
• 出版国コード: be
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Brussels
• ページ数/冊数: xv, 295 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA9
  • DC : 001.5/3
• 件名:
  • LCSH : Logic, Symbolic and mathematical -- Addresses, essays, lectures
  • LCSH : Computational linguistics
  • LCSH : Mathematical linguistics -- Addresses, essays, lectures