![](/img/cover-not-exists.png)
Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966
Jӧrg Siekmann and Graham Wrightson (eds.)Volume:
1
Year:
1983
Journal:
Symbolic Computation
DOI:
10.0000/springer.com/9783642819544
File:
PDF, 43.55 MB
1983