The Logical Structure of Computer-Aided Mathematical Reasoning (Q4373335): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 00:00, 7 February 2024

scientific article; zbMATH DE number 1107419
Language Label Description Also known as
English
The Logical Structure of Computer-Aided Mathematical Reasoning
scientific article; zbMATH DE number 1107419

    Statements

    The Logical Structure of Computer-Aided Mathematical Reasoning (English)
    0 references
    0 references
    12 July 1998
    0 references
    computer-aided proofs
    0 references
    logic of mathematical discovery
    0 references
    philosophy of mathematics
    0 references
    heuristic methods
    0 references
    situation calculus
    0 references
    artificial intelligence
    0 references
    common sense reasoning
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references