Computational logic

Author(s)

• Siekmann, Jörg H.

Bibliographic Information

Computational logic

volume edited by Jörg H. Siekmann

（Handbook of the history of logic, v. 9）

North Holland, 2014

1st ed

Note

Includes bibliographical references and index

Details

• NCID: BB17701259
• ISBN:
  • 9780444516244
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: 734 p.
• Size: 25 cm
• Classification:
  • DC23 : 006.3
• Subject Headings:
  • LCSH : Computer logic
• Parent Bibliography ID:
  • BA66921571