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 27 juillet et le 8 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.
-
Etat Et Nation En Allemagne Au Xxe Siècle
Occasion dès 1,30 €
-
Urban & Archi - La Ville En Projet - Ignace Grifo
Occasion dès 0,90 €
-
On The Road
Occasion dès 1,25 €
-
Le Robert & Collins Collège Anglais - Dictionnaire Français-Anglais/Anglais-Français
1 avis
Occasion dès 0,90 €
-
Of Mice And Men
2 avis
Neuf dès 15,51 €
Occasion dès 0,90 €
-
Amuse-Gueules
Occasion dès 0,90 €
-
My Last Duchess
Neuf dès 1,00 €
Occasion dès 2,98 €
-
Coriolanus - William Shakespeare
Neuf dès 9,48 €
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 €
-
Pratique Grammaire Anglaise
Occasion dès 1,25 €
-
Hannah Et Le Trésor Du Dangerous Elf
7 avis
Neuf dès 7,95 €
Occasion dès 0,90 €
-
Join The Team 5eme
3 avis
Occasion dès 1,00 €
-
Cinq Grand Odes Cantat
5 avis
Occasion dès 0,90 €
-
Guide Officiel Expo'92
Neuf dès 3,41 €
Occasion dès 0,97 €
-
William Shakespeare
Neuf dès 7,45 €
Occasion dès 0,90 €
-
La Republique
Occasion dès 0,90 €
-
1001 1ers Mots Français /Anglais
Occasion dès 0,90 €
-
Pride And Prejudice
1 avis
Occasion dès 0,90 €
-
The Scarlet Letter - Nathaniel Hawthorne
1 avis
Occasion dès 0,90 €
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