Cover Image

Handbook of practical logic and automated reasoning /

Bibliographic Details
Main Author: Harrison, J. (John), 1966-
Format: Book
Language:English
Published: Cambridge : Cambridge University Press, 2009.
Subjects:
Computer logic.
Description
Physical Description:xix, 681 pages : illustrations ; 26 cm.
Bibliography:Includes bibliographical references and index.
ISBN:9780521899574 (hbk.)
0521899575 (hbk.)