Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid
View Other Search Results
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France
Yazar
Watt, Stephen M. editor.
Format:
Electronic Resources
Alıntı:
-- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System