Books in the Center for the Study of Language and Information Publication Lecture Notes series

The Verbmobil System currently under development in Germany would input speech in a source-language dialogue, translate it, and output synthesized speech in a target language, all in real time under the conditions of face-to-face dialogue. This is a study of the field and possible problems.

A method of introducing students to the language of first-order logic. It helps students learn the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic.