A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'algorithme de Buchberger' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Term rewriting and all that / Franz BAADER (1999)
Titre : Term rewriting and all that Type de document : monographie Auteurs : Franz BAADER, Auteur ; Tobias NIPKOW, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : 1999 Importance : 301 p. ISBN/ISSN/EAN : 978-0-521-77920-3 Langues : Anglais Mots-clés : algèbre confluence extension base de Gröbner algorithme de Buchberger Note de contenu : index, bibliogr. Term rewriting and all that [monographie] / Franz BAADER, Auteur ; Tobias NIPKOW, Auteur . - Cambridge : Cambridge University Press, 1999 . - 301 p.
ISBN : 978-0-521-77920-3
Langues : Anglais
Mots-clés : algèbre confluence extension base de Gröbner algorithme de Buchberger Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19130 BAA/18/7664 Livre Recherche Salle Disponible