Computer-aided reasoning : ACL2 case studies

Author(s)

• Kaufmann, Matt
• Manolios, Panagiotis
• Moore, J. Strother

Bibliographic Information

Computer-aided reasoning : ACL2 case studies

edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore

（Advances in formal methods / series editor, Michael Hinchey, 4）

Kluwer Academic, c2000

Note

Includes bibliographical references & index

Details

• NCID: BA48520149
• ISBN:
  • 0792378490
• LCCN: 00022759
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston ; Dordrecht ; London
• Pages/Volumes: xv, 337 p.
• Size: 25 cm
• Parent Bibliography ID:
  • BA46490182