%0
Book
%T
Automation of reasoning
2 Classical papers on computational logic 1967 - 1970
%I
Springer
%@
0387120440
%@
3540120440
%D
1983
%C
Springer
%C
Berlin
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation