Browse Studentische Abschlussarbeiten by Keyword "HOL"

Refubium - Freie Universität Berlin Repository

Breadcrumbs Navigation

Browse Studentische Abschlussarbeiten by Keyword "HOL"

Item
Publishing Date
MasterarbeitFree Higher-Order Logic - Notion, Definition and Embedding in HOLMakarenko, Irina
2020