A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Tobias NIPKOW |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
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