1.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
2.
|
CREF: An Editing Facility for Managing Structured Text Pitman, Kent M.
|
3.
|
Shape and Source from Shading Brooks, Michael J. - Horn, Berthold K.P.
|
4.
|
The Computational Complexity of Two-Level Morphology Barton, G. Edward, Jr.
|
5.
|
Circumscribing Circumscription: A Guide to Relevance and Incompleteness Williams, Brian C.
|
6.
|
KBEmacs: A Step Toward the Programmer's Apprentice Waters, Richard C.
|
7.
|
Probabilistic Solution of Inverse Problems Marroquin, Jose Luis
|