Towards Mechanized Mathematical Assistants (Q5428254)

From MaRDI portal
scientific journal
Language Label Description Also known as
English
Towards Mechanized Mathematical Assistants
scientific journal

    Statements

    Identifiers

    0 references