> Multivolume work
-
Automation of reasoning 2 Classical papers on computational logic 1967 - 1970 ed. by Jörg Siekmann
Berlin; Heidelberg [u.a.]: Springer, 1983
-
Automation of reasoning 1 Classical papers on computational logic 1957 - 1966 ed. by Jörg Siekmann
Berlin; Heidelberg [u.a.]: Springer, 1983