Resolution Proof Systems: An Algebraic Theory (Automated Reasoning Series)

Automated

by Z. Stachniak

Hardcover

details (USA).

ISBN: 978-0-7923-4017-1

ISBN-10: 0-7923-4017-5

Springer · 1996