K. Spies, H. Schwichtenberg “Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences"
IOS Press | 2006-07-01 | ISBN:1586036254 | 456 pages | PDF | 2,6 Mb
http://rapidshare.com/files/102848161/Proof_Technology_and_Computation.rar
