Publie dans : Proceedings international conference on algebraic methodology and software technology, Iowa City (Iowa, USA), May 1989SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10709 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 83016 / INIST-CNRS -...
Theme 2 - Genie logiciel et calcul symbolique - Projet AlgoSIGLEAvailable from INIST (FR), Document ...
Ouvrage (éditeur).Ce numero special de Theoretical Computer Science contient les versions etendues d...
Fleischer J, Grabmeier J, Hehl FW, Kuechlin W, eds. Computer algebra in science and engineering. Pro...
Second international conference on algebraic methodology and software technology, Iowa City (USA), m...
Congrès (éditeur). internationale.International audienceThis book constitutes the refereed proceedin...
Programme 2Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a...
Extrait de : Proceedings Logical Foundations of Computer Science Symposium, Tver (Russia), July 1992...
Dans : Festschrift for A. Robinson, MIT Press, 1990 (a paraitre)SIGLEAvailable at INIST (FR), Docume...
Available at INIST (FR), Document Supply Service, under shelf-number : RP 10522 / INIST-CNRS - Insti...
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software te...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11843 / INIST-CNRS - ...
Theme 2 - Genie logiciel et calcul symbolique - Projet CAFESIGLEAvailable from INIST (FR), Document ...
Paru dans : Bulletin de la societe mathematique de Belgique, 42(2) : 141-155, 1990Available at INIST...
Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesSIGLEAvailab...
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 83016 / INIST-CNRS -...
Theme 2 - Genie logiciel et calcul symbolique - Projet AlgoSIGLEAvailable from INIST (FR), Document ...
Ouvrage (éditeur).Ce numero special de Theoretical Computer Science contient les versions etendues d...
Fleischer J, Grabmeier J, Hehl FW, Kuechlin W, eds. Computer algebra in science and engineering. Pro...
Second international conference on algebraic methodology and software technology, Iowa City (USA), m...
Congrès (éditeur). internationale.International audienceThis book constitutes the refereed proceedin...
Programme 2Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a...
Extrait de : Proceedings Logical Foundations of Computer Science Symposium, Tver (Russia), July 1992...
Dans : Festschrift for A. Robinson, MIT Press, 1990 (a paraitre)SIGLEAvailable at INIST (FR), Docume...
Available at INIST (FR), Document Supply Service, under shelf-number : RP 10522 / INIST-CNRS - Insti...
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software te...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11843 / INIST-CNRS - ...
Theme 2 - Genie logiciel et calcul symbolique - Projet CAFESIGLEAvailable from INIST (FR), Document ...
Paru dans : Bulletin de la societe mathematique de Belgique, 42(2) : 141-155, 1990Available at INIST...
Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesSIGLEAvailab...
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 83016 / INIST-CNRS -...
Theme 2 - Genie logiciel et calcul symbolique - Projet AlgoSIGLEAvailable from INIST (FR), Document ...
Ouvrage (éditeur).Ce numero special de Theoretical Computer Science contient les versions etendues d...