Rewriting Techniques and Applications -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreNos autres offres
-
74,31 €
Produit Neuf
Ou 18,58 € /mois
- Livraison à 0,01 €
- Livré entre le 28 juillet et le 10 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540159766_dbm
Voir le détail de l'annonce -
90,50 €
Produit Neuf
Ou 22,63 € /mois
- Livraison : 3,99 €
- Livré entre le 27 juillet et le 3 août
Voir le détail de l'annonce -
75,79 €
Produit Neuf
Ou 18,95 € /mois
- Livraison : 25,00 €
- Livré entre le 10 et le 17 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Rewriting Techniques And Applications Format Broché - Livre Informatique
0 avis sur Rewriting Techniques And Applications Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
On The Road
Occasion dès 1,25 €
-
Narrative Of The Life Of Frederick Douglass, An American Slave
3 avis
Occasion dès 1,25 €
-
Animal Farm
6 avis
Neuf dès 8,00 €
Occasion dès 0,90 €
-
Winnie's New Computer
Occasion dès 1,20 €
-
Of Mice And Men
2 avis
Neuf dès 15,51 €
Occasion dès 0,90 €
-
Guide Officiel Expo'92
Neuf dès 3,41 €
Occasion dès 0,97 €
-
1001 1ers Mots Français /Anglais
Occasion dès 0,90 €
-
Hannah Et Le Trésor Du Dangerous Elf
7 avis
Neuf dès 7,95 €
Occasion dès 0,90 €
-
The Scarlet Letter - Nathaniel Hawthorne
1 avis
Occasion dès 0,90 €
-
L'allemand En 90 Leçons Et En 90 Jours
16 avis
Occasion dès 0,90 €
-
The Miniaturist
2 avis
Neuf dès 25,90 €
Occasion dès 0,90 €
-
Roi Sans Divertissement
21 avis
Neuf dès 7,40 €
Occasion dès 0,90 €
-
Bleak House
1 avis
Neuf dès 19,97 €
Occasion dès 0,90 €
-
The Big Picture - Vocabulaire De L'actualité En Anglais
3 avis
Occasion dès 1,49 €
-
The Music Of Chance
Occasion dès 1,25 €
-
Everyman And Medieval Miracle Plays
1 avis
Neuf dès 2,90 €
Occasion dès 1,25 €
-
The Giver
Neuf dès 3,19 €
Occasion dès 1,47 €
-
Le Coeur Des Tenebres : Heart Of Darkness - Bilingue Anglais/Français
1 avis
Occasion dès 1,40 €
-
It Ends With Us
7 avis
Neuf dès 25,69 €
Occasion dès 1,20 €
-
Tintin Et Les Secrets De La Grammaire Anglaise
12 avis
Occasion dès 1,02 €
Produits similaires
Présentation Rewriting Techniques And Applications Format Broché
- Livre Informatique
Sommaire:
Basic features and development of the critical-pair/completion procedure.- Contextual rewriting.- Thue systems as rewriting systems.- Deciding algebraic properties of monoids presented by finite church-rosser Thue systems.- Two applications of equational theories to database theory.- An experiment in partial evaluation: The generation of a compiler generator.- NARROWER: a new algorithm for unification and its application to Logic Programming.- Solving type equations by graph rewriting.- Termination.- Path of subterms ordering and recursive decomposition ordering revisited.- Associative path orderings.- A procedure for automatically proving the termination of a set of rewrite rules.- Petrireve: Proving Petri net properties with rewriting systems.- Fairness in term rewriting systems.- Two results in term rewriting theorem proving.- Handling function definitions through innermost superposition and rewriting.- An ideal-theoretic approach to word problems and unification problems over finitely presented commutative algebras.- Combining unification algorithms for confined regular equational theories.- An algebraic approach to unification under associativity and commutativity.- Unification problems with one-sided distributivity.- Fast many-to-one matching algorithms.- Complexity of matching problems.- The set of unifiers in typed ?-calculus as regular expression.- Equational systems for category theory and intuitionistic logic....
Détails de conformité du produit
Personne responsable dans l'UE