Extending Sledgehammer with SMT Solvers (Q5200019)

From MaRDI portal
scientific article; zbMATH DE number 5934346
In more languages
Configure
Language Label Description Also known as
English
Extending Sledgehammer with SMT Solvers
scientific article; zbMATH DE number 5934346

    Statements

    Extending Sledgehammer with SMT Solvers (English)

    Identifiers