Computerr aided reasoning an approach - Kaufmann, Matt. (London : Kluwer Academic, 1994)
Keywords: Data processing computer science