4463159
9780387120447
Out of Stock
The item you're looking for is currently unavailable.
Covers 1967-1970.Siekmann, Joerg H. is the author of 'Automation of Reasoning II: Classical Papers on Computational Logic 1967-1970 - Joerg H. Siekmann - Hardcover' with ISBN 9780387120447 and ISBN 0387120440.
[read more]