Handbook of practical logic and automated reasoning
By: John Harrison.
Publisher: Cambridge University Press
Published: 2009
Place of publication: Cambridge; New York
Language: eng
Number of pages: 681
ISBN-13: 9780521899574
Subjects: Computer logic
Notes: Includes bibliographical references (p. 631-667) and index.