Buy Used and New Z.Stachniak Books

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

by Z. Stachniak

ISBN 13: 9780792340171

Format: Illustrated (228 pages)
Publisher: Springer
Published: 30 Apr 1996

Save for later

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

by Z. Stachniak, Alan Bundy

ISBN 13: 9789401072519

Format: Paperback (228 pages)
Publisher: Springer
Published: 31 Jul 2012

Save for later