Handbook of automated reasoning - Robinson Alan Ed.; Voronkov Andrei Ed. (Netherlands Elsevier Science, 2001)
CONTENTS:V 2(xxv, 963-2122p); Index 2113-2122p; Includes bibliographical references
Keywords: Handbook; Logic; Computer