Accessible Requires Authentication Published by De Gruyter Oldenbourg January 24, 2019

Higher-order theorem proving and its applications

Alexander Steen ORCID logo