Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings - MaRDI portal

Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings (Q1188645)

From MaRDI portal





scientific article; zbMATH DE number 45985
Language Label Description Also known as
English
Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings
scientific article; zbMATH DE number 45985

    Statements

    Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings (English)
    0 references
    23 January 1993
    0 references
    Capri (Italy)
    0 references
    DISCO '90
    0 references
    Design
    0 references
    Implementation
    0 references
    Symbolic computation systems
    0 references
    Conference
    0 references
    Proceedings
    0 references
    automated reasoning
    0 references
    user interfaces
    0 references
    algebra systems design
    0 references
    Scratchpad
    0 references
    object-oriented language
    0 references
    LOGLAN
    0 references
    computer algebra languages
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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