Handbook of Automated Reasoning

First Edition

Alan Robinson

Andrei Voronkov

Volume I

N·HELSEVIERAMSTERDAM · LONDON · NEW YORK OXFORD · PARIS · SHANNON · TOKYOTHE MIT PRESSCAMBRIDGE, MASSACHUSETTS

Get Handbook of Automated Reasoning now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.