Browse Masterarbeiten FU by Author "Makarenko, Irina"

Refubium - Freie Universität Berlin Repository

Breadcrumbs Navigation

Browse Masterarbeiten FU by Author "Makarenko, Irina"

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