Yazar
Chlipala, Adam, 1981-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486
Format:
Electronic Resources
Alıntı:
Automatic theorem proving -- Computer programs.
View Other Search Results
Yazar
Friedman, Daniel P., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537
Format:
Electronic Resources
Alıntı:
Automatic theorem proving.
View Other Search Results
Arama Sonuçlarını Sınırlandır