The resolution calculus

Author(s)

• Leitsch, Alexander

Bibliographic Information

The resolution calculus

Alexander Leitsch

（Texts in theoretical computer science, An EATCS series）

Springer, c1997

Note

Includes bibliographical references and index

With 36 figures

Details

• NCID: BA29530994
• ISBN:
  • 3540618821
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: viii, 300 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA24186461