Coverart for item
The Resource Computer-aided reasoning : ACL2 case studies, edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore

Computer-aided reasoning : ACL2 case studies, edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore

Label
Computer-aided reasoning : ACL2 case studies
Title
Computer-aided reasoning
Title remainder
ACL2 case studies
Statement of responsibility
edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Contributor
Subject
Language
eng
Member of
Cataloging source
DLC
Index
index present
LC call number
QA76.76.E95
LC item number
C655 2000
Literary form
non fiction
Nature of contents
bibliography
Series statement
Advances in formal methods
Series volume
4
Computer-aided reasoning : ACL2 case studies, edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Label
Computer-aided reasoning : ACL2 case studies, edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references (p. [317]-324) and index
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9780792378495&userID=ebsco-test&password=ebsco-test
Dimensions
25 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1400295'}
Extent
xv, 337 p.
Isbn
9780792378495
Isbn Type
(alk. paper)
Lccn
00037106

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...