Old Web
English
Sign In
Acemap
>
Paper
>
Automation in language translation and theorem proving : some applications of mathematical logic
Automation in language translation and theorem proving : some applications of mathematical logic
1968
P. Braffort
F. van Scheepen
Keywords:
Mathematical logic
Computational logic
Quantitative linguistics
Automation
Automated theorem proving
Algorithm
Computational linguistics
Computer science
Programming language
language translation
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]