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

Auteur(s) : Benninghofen, Benjamin (1958-....)  Voir les notices liées en tant qu'auteur
Kemmerich, Susanne (1953-....)  Voir les notices liées en tant qu'auteur
Richter, Michael M. (1938-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Systems of reductions [Texte imprimé] / Benjamin Benninhofen, S Kemmerich, M. M. Richter

Publication : Berlin : Springer-Verlag, cop. 1987

Description matérielle : 1 vol. (VII-263 p.) : ill. ; 25cm

Collection : Lecture notes in computer science ; 277

Lien à la collection : Lecture notes in computer science  Voir toutes les notices liées

Note(s) : Bibliogr. p. 256-263

Sujet(s) : Algorithmes  Voir les notices liées en tant que sujet
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 3-540-18598-4 (br.)

Identifiant de la notice  : ark:/12148/cb37755621d

Notice n° :  FRBNF37755621