Auflistung Masterarbeiten FU nach Schlagwort "higher order logic"

Refubium - Repositorium der Freien Universität Berlin

Mikronavigation

Auflistung Masterarbeiten FU nach Schlagwort "higher order logic"

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