European Conference on Computer Algebra, Linz, Austria, April 1 - 3 1985 : proceedings / EUROCAL '85 ; Vol. 2: Research contributions (Englisch)
- Neue Suche nach: EUROCAL
- Weitere Informationen zu EUROCAL:
- http://d-nb.info/gnd/2083097-X
- Neue Suche nach: Caviness, Bob F.
- Neue Suche nach: EUROCAL
- Weitere Informationen zu EUROCAL:
- http://d-nb.info/gnd/2083097-X
1985
-
ISBN:
- Konferenzband / Print
-
Titel:European Conference on Computer Algebra, Linz, Austria, April 1 - 3 1985 : proceedings / EUROCAL '85 ; Vol. 2: Research contributions
-
Beteiligte:
-
Kongress:European Conference on Computer Algebra (EUROCAL) ; 1985 ; Linz
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin [u.a.]
-
Erscheinungsdatum:1985
-
Format / Umfang:XVI, 650 S
-
Anmerkungen:graph. Darst
Literaturangaben -
ISBN:
-
Medientyp:Konferenzband
-
Format:Print
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 40
-
Towards practical implementations of syllogisticGhelfo, S. / Omodeo, E.G. et al. | 1985
- 50
-
Path resolution and semantic graphsMurray, N.V. / Rosenthal, E. et al. | 1985
- 64
-
Fast subsumption algorithmsGottlob, G. / Leitsch, A. et al. | 1985
- 78
-
Substitution expressions: extracting solutions of non-horn clause proofsAspetsberger, K. et al. | 1985
- 87
-
The complexity of elementary problems in archimedean ordered groupsWeispfenning, V. et al. | 1985
- 291
-
An algebraic implementation of packagesAgnarsson, S. / Krishnamoorthy, M.S. / Saunders, B.D. et al. | 1985
- 303
-
The SMP pattern matcherGreif, J.M. et al. | 1985
- 315
-
An expression compression package for REDUCE based on factorization and controlled expansionHulshof, B.J. / Hulzen, J.A. van et al. | 1985
- 318
-
Numerical methods with automatic verificationRump, S.M. et al. | 1985
- 320
-
ACRITH - high accuracy arithemtic subroutine libraryRump, S.M. et al. | 1985
- 322
-
Floating-point computation in PASCAL-SC with verified resultsGudenberg, J.W. von et al. | 1985
- 444
-
DARWIN, a system designed for the study of enumerative combinatoricsBergeron, F. / Pichet, C. et al. | 1985
- 446
-
Correctness proofs of the implementation of abstract data typesHohlfeld, B. et al. | 1985
- 448
-
Using PROLOG for constructing geometric objects defined by constraintsBruederlin, B. et al. | 1985
- 462
-
CIM (computer integrated manufacturing) - a challenge for symbolic computationExner, H. / Fischer, F.D. et al. | 1985
- 464
-
Symbolic and algebraic computation may support secondary educationCoelho, H. et al. | 1985
- 466
-
Software toolkit for input stage measurement in symbolic computationCaciotta, M. / Iannucci, F. et al. | 1985
- 468
-
The algebraic manipulation systems on the electrical power systemsBoninfante, P. / Veca, G.M. et al. | 1985
- 531
-
The parallel L-machine for symbolic computationBuchberger, B. et al. | 1985
- 537
-
A system for parallel computer algebra programsWatt, S.M. et al. | 1985
- 539
-
Unification in parallel with refined linearity test: An example of recursive network structure in FP2, a functional parallel programming languageCaferra, R. / Jorrand, P. et al. | 1985
- 543
-
Unification in conditional-equational theoriesHussmann, H. et al. | 1985
- 554
-
Mechanical translation of set theoretic problem specifications into efficient RAM code - a case studyPaige, R. / Henglein, F. et al. | 1985
- 568
-
A methodology for automatic programming based on the constructive matching strategyFranova, M. et al. | 1985
- 570
-
The structural synthesis of programs: new meansAlexander, S. et al. | 1985
- 572
-
Taking advantage of symmetry in the automatic generation of numerical programs for finite element analysisWang, P.S. et al. | 1985
- 583
-
Automatic generation of optimized programsGates, B.L. / Hulzen, J.A. van et al. | 1985