MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics
A four-valued semantics for terminological logics
Tree clustering for constraint networks
Understanding natural language: James Allen, (Benjamin/Cummings, Menlo Park, CA, 1987); 574 pages
Announcements
Forthcoming papers
Author index — Volume 38
Contents — Volume 38, 1989