Visning af: Use of a proof assistant as a learning tool in an introductory logic course for computer science undergraduates

Tilbage til artikeldetaljer Use of a proof assistant as a learning tool in an introductory logic course for computer science undergraduates Download Download PDF