The Tableau Workbench (Q4982114): Difference between revisions

From MaRDI portal
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: MSPASS / rank
 
Normal rank

Revision as of 01:27, 1 March 2024

scientific article; zbMATH DE number 6418734
Language Label Description Also known as
English
The Tableau Workbench
scientific article; zbMATH DE number 6418734

    Statements

    The Tableau Workbench (English)
    0 references
    0 references
    0 references
    23 March 2015
    0 references
    generic tableau theorem prover
    0 references
    automated deduction
    0 references
    tableaux strategies
    0 references
    system description
    0 references
    0 references
    0 references
    0 references

    Identifiers