Normal view MARC view ISBD view

Logic in Computer Science Modelling and Reasoning About Systems

Huth, Michael

Logic in Computer Science Modelling and Reasoning About Systems - 2nd - Cambridge : Cambridge University Press, c2004 - XIV, 427 p. : ill

Includes Bibliographical References and Index

ISBN: 0521670896

ISSN:

Subjects--Topical Terms:
Computer Logic
Logic Programming Computer Science

Dewey Class. No.: 005.05113 / HUT

Print
Suggest for purchase
Send to device
Save record
BIBTEX Dublin Core ISBD MARCXML RIS
More searches

Search for this title in:
Other Databases (Google Scholar) Open Library (openlibrary.org) Pakistan Union Catalogue (pastic.gov.pk) Other Libraries (WorldCat)