Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings
1990
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings
1993
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The computation of Gröbner bases on a shared memory multiprocessor
Design and Implementation of Symbolic Computation Systems, 2005, p.81-90
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A functional and logic language with polymorphic types
Design and Implementation of Symbolic Computation Systems, 2005, p.215-224
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
CoCoA: A user-friendly system for commutative algebra
Design and Implementation of Symbolic Computation Systems, 2005, p.20-29
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Reconciling symbolic and numeric computation in a practical setting
Design and Implementation of Symbolic Computation Systems, 2005, p.195-204
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The design of cayley — a language for modern algebra
Design and Implementation of Symbolic Computation Systems, 2005, p.10-19
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The GANITH algebraic geometry toolkit
Design and Implementation of Symbolic Computation Systems, 2005, p.268-269
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Building graphic user interfaces for computer algebra systems
Design and Implementation of Symbolic Computation Systems, 2005, p.235-244
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Parametric queries, linear constraints and variable elimination
Design and Implementation of Symbolic Computation Systems, 2005, p.164-173
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Completion modulo associativity, commutativity and identity (AC1)
Design and Implementation of Symbolic Computation Systems, 2005, p.111-120
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A theory for program and data type specification
Design and Implementation of Symbolic Computation Systems, 2005, p.91-100
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The design of SISYPHE : a system for doing symbolic and algebraic computations
Design and Implementation of Symbolic Computation Systems, 2005, p.30-39
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A prolog technology theorem prover: A new exposition and implementation in Prolog
Design and Implementation of Symbolic Computation Systems, 2005, p.154-163
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Praxis: A rule-based expert system for MACSYMA
Design and Implementation of Symbolic Computation Systems, 2005, p.264-265
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mas Modula-2 algebra system
Design and Implementation of Symbolic Computation Systems, 2005, p.270-271
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Putting algebraic components together: A dependent type approach
Design and Implementation of Symbolic Computation Systems, 2005, p.141-150
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Current problems in computer algebra systems design
Design and Implementation of Symbolic Computation Systems, 2005, p.1-9
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract specification of mathematical structures and methods
Design and Implementation of Symbolic Computation Systems, 2005, p.61-70
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Towards a logic language: An object-oriented implementation of the connection method
Design and Implementation of Symbolic Computation Systems, 2005, p.280-281
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Will DELiA grow into an expert system?
Design and Implementation of Symbolic Computation Systems, 2005, p.266-267
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Suggestions for a friendlier user interface
Design and Implementation of Symbolic Computation Systems, 2005, p.282-283
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Prototypes for the automatic translation of computer algebra languages
Design and Implementation of Symbolic Computation Systems, 2005, p.272-273
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A model of interaction for graphical systems
Design and Implementation of Symbolic Computation Systems, 2005, p.255-263
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Polymorphic type checking with subtypes in Prolog
Design and Implementation of Symbolic Computation Systems, 2005, p.121-130
2005
Volltextzugriff (PDF)
1 – 25 von 79
Suche als RSS-Feed
Aktive Filter
KollektionHEAL-Link subscriptions: Springer Book Series
Suchergebnisse filtern
Filter anzeigen