Placeholder text
Automation of Reasoning: Classical Papers on Computational Logic, 1957-1966
0 - Default Title
Product details
Release Date:
1983-03-01
Publication Date:
1983-03-01
Publisher:
Springer Verlag
Languages:
Published:
English,
Original:
English
ISBN10:
0387120432
Currently sold out