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