Browse Studentische Abschlussarbeiten by Keyword "higher order logic"

Refubium - Freie Universität Berlin Repository

Breadcrumbs Navigation

Browse Studentische Abschlussarbeiten by Keyword "higher order logic"

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