No label defined (Q4732137)

From MaRDI portal
scientific article; zbMATH DE number 4117898
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 4117898

    Statements

    0 references
    0 references
    0 references
    1988
    0 references
    automated theorem-proving
    0 references
    non-classical logics
    0 references
    relevant logic
    0 references

    Identifiers