Volume 8, Number 1, February 1992
Studies in Automated Reasoning
Volume 8, Number 2, April 1992
Basic Research Problems
- Larry Wos:
The Problem of Choosing between Using and Avoiding Eqyality Predicates.
307-309

Volume 8, Number 3, June 1992
Basic Research Problems
- Larry Wos:
The Problem of Reasoning from Inequalities.
421-426

Last update Tue May 21 19:11:13 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page