Automated theorem-proving in non-classical logics.

Thistlewaite, Paul B.

ISBN 10: 0273087819 / ISBN 13: 9780273087816

Published by London, Pitman., 1988

About this Item

8°. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar. Sprache: englisch.

Seller Inventory # 87465CB

Bibliographic Details

• Title: Automated theorem-proving in non-classical logics.
• Publisher: London, Pitman.
• Publication Date: 1988
• Language: English
• ISBN 10: 0273087819
• ISBN 13: 9780273087816
• Binding: Soft cover
• Seller catalogs:
  • Naturwissenschaften