The inevitability of inconsistent abstract spaces (Q1311395): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q3490995 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of abstraction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5633670 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3856120 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3885237 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theorem proving with abstraction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5559220 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5632554 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Planning in a hierarchy of abstraction spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3493296 / rank
 
Normal rank

Revision as of 11:18, 22 May 2024

scientific article
Language Label Description Also known as
English
The inevitability of inconsistent abstract spaces
scientific article

    Statements

    The inevitability of inconsistent abstract spaces (English)
    0 references
    0 references
    0 references
    13 January 1994
    0 references
    abstraction
    0 references
    inconsistent abstract spaces
    0 references
    automated deduction
    0 references

    Identifiers