1
Automation of reasoning. 0001 : Classical papers on computational logic 1957-1966.
Book
...DGA - Computer types, plants and organization...
2
Automation of reasoning. 0002 : Classical papers on computational logic 1967-1970.
Book
...DGA - Computer types, plants and organization...