Auflistung Masterarbeiten FU nach Schlagwort "HOL"

Refubium - Repositorium der Freien Universität Berlin

Mikronavigation

Auflistung Masterarbeiten FU nach Schlagwort "HOL"

Dokument
Erscheinungsdatum
MasterarbeitFree Higher-Order Logic - Notion, Definition and Embedding in HOLMakarenko, Irina
2020