References of "Association for Automated Reasoning, Newsletter"
     in
Bookmark and Share    
See detailChallenges in Higher-Order Theorem Proving
Steen, Alexander UL

Article for general public (2019)

Detailed reference viewed: 35 (5 UL)