Automation in language translation and theorem proving. Some applications of mathematical logic

Door: Braffort, P. and F. van Scheepen (editors)

❮ ❯

• ISBN:
• Uitgever: Commission EC 1968 cloth
• Taal: ------------------
• Categorie: science
• Details: 295 pp, dustwrappers (code Sc-246)
• Extra informatie:
• € 20.00