Automation in language translation and theorem proving : some applications of mathematical logic, Brussels, June 1968 [monographie] |
| Auteur(s): | Braffort, Paul (1923-....) (Ed.) Scheepen, Van F. (Ed.) |
| Langue: | anglais |
| Editeur, date d'édition: | Commission of the European Communities. Directorate-General for Dissemination of Information, 1968 |
| Ville(s) d'édition: | Bruxelles (BE) |
| Congrés: | Automation in language translation and theorem proving (1968) Brussels (BE) |
| Notes: | xv ; fig. ; notes bibliogr. ; 25 cm ; 295 p. |
| Thèmes: | logique mathematique, congres, computational linguistics, mathematical linguistics |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 BRA 68 | Disponible |