Yazar
Ouaknine, Joël. editor.
Format:
Electronic Resources
Alıntı:
Coding and Information Theory.
Yazar
Urban, Christian. editor.
Format:
Electronic Resources
Alıntı:
Theory -- A Mechanized Theory of regular trees in dependent type theory -- Deriving Comparators and
View Other Search Results
Yazar
Maletti, Andreas. editor.
Format:
Electronic Resources
Alıntı:
: Properties and Construction -- Effective Invariant Theory of Permutation Groups using Representation Theory