1 Hit in 5.1 sec

Automatic verification and interactive theorem proving [article]

Andrea Asperti
2017 arXiv   pre-print
In Proceedings of the 23rd Interna- tional Conference on Automated Deduction (CADE-2011), Wroclaw, Poland, volume 6803 of LNCS, pages 64–69, 2011.  ...  In 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, volume 1632 of Lecture Notes in Computer Science, pages 202–206.  ... 
arXiv:1701.03602v1 fatcat:rrerd5bdlvhh5edx7kwgorftpy