Auflistung Masterarbeiten FU nach Autor*in "Makarenko, Irina"

Refubium - Repositorium der Freien Universität Berlin

Mikronavigation

Auflistung Masterarbeiten FU nach Autor*in "Makarenko, Irina"

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