Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

Recherche  AuteurTitreSujetTitre de revueCollectionCotes BUCotes ENSEACotes IUFM       Modifier la recherche     > CERGY

Elargir la recherche         Sur le même sujet :     Rewriting systems (Computer science)     Réécriture, Systèmes de (informatique)     Mathématiques -- Informatique     Parcourir le catalogue     par auteur:      Baader , Franz , 19..-.... , informaticien      Nipkow , Tobias , 1958-...       Rechercher sur Internet     Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)     Aperçu dans Google Books     Affichage MARC

Auteur :  Baader , Franz , 19..-.... , informaticien Nipkow , Tobias , 1958-... Titre :  Term rewriting and all that , Franz Baader,... and Tobias Nipkow,... Editeur :  Cambridge New York , Cambridge University Press -- 1998 Description :  1 vol. (XII-301 p.) : ill. ; 26 cm ISBN:  0-521-45520-0 , rel. 978-0-521-45520-6 , rel. 0-521-77920-0 , br. 978-0-521-77920-3 , br. Notes :  Bibliogr. p. 284-296. Index Autre tirage : 1999, 2006 Sujet :  Rewriting systems (Computer science) Réécriture, Systèmes de (informatique) Mathématiques -- Informatique   Exemplaires Site Emplacement Cote Type de prêt Statut   Site de Saint-Martin Espace CAPES-AGREG 005.131 BAA Prêt Disponible Réserver

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.