1 Hit in 6.8 sec

Automatic verification and interactive theorem proving [article]

Andrea Asperti
2017 arXiv   pre-print
In Automated Deduction - CADE-11, 11th International 26 AUTOMATIC VERIFICATION AND INTERACTIVE THEOREM PROVING Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15- 18, 1992,  ...  In Proceedings of the 23rd Interna- tional Conference on Automated Deduction (CADE-2011), Wroclaw, Poland, volume 6803 of LNCS, pages 64–69, 2011.  ... 
arXiv:1701.03602v1 fatcat:rrerd5bdlvhh5edx7kwgorftpy