Machine Translation: an Introductory Guide
by Doug Arnold, at al.
Publisher: Blackwell Pub 1994
Number of pages: 200
This introductory book looks at all aspects of Machine Translation: covering questions of what it is like to use a modern Machine Translation system, through questions about how it is done, to questions of evaluating systems, and what developments can be foreseen in the near to medium future.
Home page url
Download or read it online for free here:
by Jon Barwise, John Etchemendy - Center for the Study of Language
The book covers the boolean connectives, formal proof techniques, quantifiers, basic set theory, induction, proofs of soundness and completeness for propositional and predicate logic, and an accessible sketch of Godel's first incompleteness theorem.
by Edward Stabler - UCLA
What kind of computational device could use a system like a human language? This text explores the computational properties of devices that could compute morphological and syntactic analyses, and recognize semantic relations among sentences.
by Michael A. Covington - Prentice-Hall
Designed to bridge the gap for those who know Prolog but have no background in linguistics, this book concentrates on turning theories into practical techniques. Coverage includes template and keyword systems, definite clause grammars, and more.
by F. C. N. Pereira, S. M. Shieber - Center for the Study of Language
A concise introduction to logic programming and the logic-programming language Prolog both as vehicles for understanding elementary computational linguistics and as tools for implementing the basic components of natural-language-processing systems.