A comparative study of several proof procedures
Optimal search strategies for speech understanding control
Using slots and modifiers in logic grammars for natural language
The handbook of artificial intelligence: Avron Barr and Edward A. Feigenbaum (Eds.), Vol. 1 (Kaufmann, Los Altos, CA, 1981); 409 pages, $30.00
Symposium on empirical foundations of information and software science : November 3–5, 1982, at the Georgia Institute of Technology, Atlanta, GA, U.S.A.
Call for papers: First international symposium on medical imaging and image interpretation : October 26–28, 1982, at the International Congress Center, Berlin
Author index—Volume 18
Contents—Volume 18 1982