Mardigian Library
Ask a QuestionMy Library Account
Search Library Catalog - Books, DVDs & More
Limit to available
More Searches
   
Limit results to available items
Find more results:
Search MelCat
More Information
  
Harrison, J. (John), 1966-
Handbook of practical logic and automated reasoning / John Harrison
Cambridge : Cambridge University Press, c2009
book jacket
Location Call Number Status
 4th Floor  QA76.9.L63 H38 2009    AVAILABLE
Subject(s) Computer logic
Physical Description xix, 681 p. : ill. ; 26 cm
Note Includes bibliographical references (p. 631-667) and index

Mardigian Library, 4901 Evergreen Rd.
Dearborn, MI 48128-1491 313-593-5400 fax 313-593-5561
ask-a-question@umd.umich.edu
The Regents of the University of Michigan | Non-Discrimination Policy
Copyright © The University of Michigan - Dearborn • 4901 Evergreen Road • Dearborn, Michigan 48128 • 313-593-5000
The University of Michigan - Ann Arbor | The University of Michigan - Flint | SITEMAP | DIRECTORY | CONTACT