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
Huth, Michael, 1962-
Logic in computer science [electronic resource] : modelling and reasoning about systems / Michael Huth, Mark Ryan
2nd ed
Cambridge [U.K.] ; New York : Cambridge University Press, 2004
book jacket
Location Call Number Status
 Electronic Book  QA76.9.L63 H88 2004eb    AVAIL. VIA WEB
Subject(s) Computer logic
Logic programming
Physical Description xiv, 427 p. : ill. ; 25 cm
Note Includes bibliographical references (p. 414-417) and index
Also available in print
Electronic reproduction. UK : MyiLibrary, 2010
Alternate Author Ryan, Mark, 1962-

Mardigian Library, 4901 Evergreen Rd.
Dearborn, MI 48128-1491 313-593-5400 fax 313-593-5561
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