Automation of reasoning -1 classical papers on computational logic 1957-1966
Automation of reasoning -1 classical papers on computational logic 1957-1966
ed. by Jorg Siekmann and Graham Wrightson
- Berlin Springer-Verlag 1983
- xii, 525p.
3540120432
001.535 / N832.1
3540120432
001.535 / N832.1