Automation in language translation and theorem proving.
Subtitle: Some applications of mathematical logic.
By: Edited by P. Braffort and F. van Scheepen.
Contributors: Braffort, P. ed.; Scheepen, F. van, ed.; Commission of the European Communities. Directorate-General for Dissemination of Information.
Publisher: Commission of the European Communities, Directorate-General for Dissemination of Information
Published: 1968
Place of publication: Brussels
Language: eng
Number of pages: 295
Subjects: Logic, Symbolic and mathematical.; Computational linguistics.; Mathematical linguistics.
Notes: Includes bibliographies.
"EUR 4038 e"