Computer-aided reasoning：an approach

Main Authors: Kaufmann Matt.
Group Author: Manolios Panagiotis.; Moore J Strother, 1947-
Published: Kluwer Academic Publishers,
Publication Dates: c2000.
Call Number: TP301.6-3/K215