Computer-aided reasoning : an approach

Author(s)

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

Bibliographic Information

Computer-aided reasoning : an approach

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

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

Kluwer Academic, c2000

Note

Includes bibliographical references and index

Details

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