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

Author(s)

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

Bibliographic Information

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

Note

"EUR 4038 e"

Includes bibliographies

Details

• NCID: BA25072300
• LCCN: 77467790
• Country Code: be
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Brussels
• Pages/Volumes: xv, 295 p.
• Size: 25 cm
• Classification:
  • LCC : QA9
  • DC : 001.5/3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical -- Addresses, essays, lectures
  • LCSH : Computational linguistics
  • LCSH : Mathematical linguistics -- Addresses, essays, lectures