Unification theory (Q1124375)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unification theory
scientific article

    Statements

    title
    Unification theory (English)
    0 references
    author
    Jörg H. Siekmann
    0 references
    publication date
    1989
    0 references
    Mathematics Subject Classification ID
    68T15
    0 references
    68Q65
    0 references
    68W30
    0 references
    zbMATH DE Number
    4112070
    0 references
    zbMATH Keywords
    Unification theory
    0 references
    describes a project that uses
    MACSYMA
    0 references
    SNOBOL
    0 references
    ALGOL 68
    0 references
    REDUCE
    0 references
    MATHLAB
    0 references
    cites work
    Q3343471
    0 references
    Q4951952
    0 references
    Q5762080
    0 references
    Q3804235
    0 references
    Q3714064
    0 references
    Q3750100
    0 references
    Q3934450
    0 references
    Q3332229
    0 references
    Q3848243
    0 references
    Q3919057
    0 references
    Q4441489
    0 references
    Q5339307
    0 references
    Q3962973
    0 references
    Q4200260
    0 references
    Q3030230
    0 references
    Q4126563
    0 references
    Q3698262
    0 references
    Q3862380
    0 references
    Q4764112
    0 references
    Q4139711
    0 references
    Q3750140
    0 references
    Q5831318
    0 references
    Symbolic integration
    0 references
    Q5636315
    0 references
    Q3939272
    0 references
    Q5609363
    0 references
    Q3853703
    0 references
    Q3992826
    0 references
    Q4092933
    0 references
    Q3999539
    0 references
    Q4742317
    0 references
    Q4770009
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1124375&oldid=34807914"
    Powered by MediaWiki