Proof technology and computation Schwichtenberg, Helmut Spies, Katharina text ne Amsterdam IOS Press 2006 monographic eng
print
445 p. : ill. ; 25 cm. specialized edited by Helmut Schwichtenberg and Katharina Spies Automatic theorem proving Congresses Computer programming Congresses Computer software Development Congresses NATO science series. Series III, Computer and systems sciences 1387-6694 v. 200 1586036254 http://www.loc.gov/catdir/toc/fy0707/2006927922.html http://www.loc.gov/catdir/toc/fy0707/2006927922.html UMP 080107 20251117144453.0 vtls000023331