Term rewriting and all that / Franz Baader,... and Tobias Nipkow,... [ Livre]

Auteur principal: Baader, FranzCo-auteur: Nipkow, TobiasLangue: Anglais.Publication : Cambridge (GB) : Cambridge University Press, cop. 1999Description : XII-301 p. ; 25 cmISBN: 9780521779203.Classification: F 4 2 Système de réécritureSujet - Nom commun: Réécriture, Systèmes de (informatique) | Mathématiques -- Informatique
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 2 BAA (Browse shelf) Checked out F 4 2 Système de réécriture 10/06/2019 029036
ENS Rennes - Bibliothèque
Informatique
F 4 2 BAA (Browse shelf) Exclu du prêt F 4 2 Système de réécriture 029037
ENS Rennes - Bibliothèque
Informatique
F 4 2 BAA (Browse shelf) Available F 4 2 Système de réécriture 012469
ENS Rennes - Bibliothèque
Informatique
F 4 2 BAA (Browse shelf) Available F 4 2 Système de réécriture 00006118

Bibliogr. p. 284-296. Index

Powered by Koha