Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Baader, Franz  Voir les notices liées en tant qu'auteur
Nipkow, Tobias (1958-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Term rewriting and all that [Texte imprimé] / Franz Baader,... and Tobias Nipkow,...

Publication : Cambridge (GB) : Cambridge university press, cop. 1999

Description matérielle : XII-301 p. : ill. ; 25 cm

Note(s) : Bibliogr. p. 284-296. Index

Sujet(s) : Réécriture, Systèmes de (informatique)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-521-77920-0 (br.)

Identifiant de la notice  : ark:/12148/cb37566747g

Notice n° :  FRBNF37566747