Term rewriting and all that

Term rewriting and all that

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Baader Franz (Auteur), Nipkow Tobias (Auteur)
Format : Livre
Langue : anglais
Titre complet : Term rewriting and all that / Franz Baader,... and Tobias Nipkow,...
Publié : Cambridge, New York : Cambridge University Press , 1998
Description matérielle : 1 vol. (XII-301 p.)
Sujets :
Réécriture, Systèmes de (informatique)
Mathématiques > Informatique
Documents associés : Autre format: Term rewriting and all that

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 68C50 Prêt sans prolongation Emprunté
Date de retour 24/09/2024