1586036254
Proof technology and computation; proceedings.
NATO Advanced Study Institute on Proof Technology and Computation (2003: Marktoberdorf, Germany) Ed. by Helmut Schwichtenberg et al.
IOS Press
2006
445 pages
$156.00
Hardcover
NATO science series; series III, Computer and systems sciences; v.200
QA76.9
Based upon those given at the Marktoberdorf Summer School in 2003, this set of lectures addresses the systematic application of ...