![](/img/cover-not-exists.png)
Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
Koch, Hans, Schenkel, Alain, Wittwer, PeterVolume:
38
Language:
english
Journal:
SIAM Review
DOI:
10.1137/s0036144595284180
Date:
December, 1996
File:
PDF, 4.05 MB
english, 1996