162,10 €
Produit Neuf
Ou 40,53 € /mois
- Livraison à 0,01 €
- Livré entre le 22 août et le 7 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461272786_dbm
Nos autres offres
-
153,52 €
Produit Neuf
Ou 38,38 € /mois
- Livraison : 3,99 €
- Livré entre le 22 et le 28 août
Voir le détail de l'annonce -
162,10 €
Produit Neuf
Ou 40,53 € /mois
- Livraison à 0,01 €
- Livré entre le 22 août et le 7 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461272786_dbm
Voir le détail de l'annonce -
169,99 €
Produit Neuf
Ou 42,50 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 septembre
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 Solving Higher - Order Equations Format Broché - Livre Littérature Générale
0 avis sur Solving Higher - Order Equations Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Design For Motion
Neuf dès 104,46 €
-
Car Racing 1971
Neuf dès 129,00 €
-
The Religion Of The Mithras Cult In The Roman Empire
Neuf dès 214,66 €
-
Last Resort: Photographs Of New Brighton
Occasion dès 139,90 €
-
Ellen Von Unwerth. Heimat
Neuf dès 98,04 €
-
Porsche Racing Cars
Neuf dès 102,94 €
-
Georg Baselitz
Neuf dès 137,45 €
Occasion dès 91,61 €
-
The Evolution Of Complexity By Means Of Natural Selection
Neuf dès 136,68 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 90,00 €
-
Superman & Batman: Generations Omnibus
Neuf dès 84,18 €
-
Dictionnaire Chinois - Anglais
Occasion dès 99,00 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
Lexique Multilingue - Pâtisserie, Boulangerie, Chocolaterie-Confiserie, Glacerie
2 avis
Occasion dès 140,00 €
-
Throne Of Glass Box Set (Paperback)
Neuf dès 84,00 €
Occasion dès 239,59 €
-
Laboratory Medicine In Psychiatry And Behavioral Science
Neuf dès 125,20 €
-
Quantum Chemistry, 2nd Edition
1 avis
Neuf dès 227,66 €
-
12 Division Headquarters, Branches And Services Royal Army Medical Corps Assistant Director Medical Services
Neuf dès 90,80 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Shade, The Changing Man By Peter Milligan And Chris Bachalo Omnibus Vol. 1
Neuf dès 128,81 €
-
The Book Of Tiki: The Cult Of Polynesian Pop In Fifties America (Taschen Specials)
Occasion dès 117,99 €
Produits similaires
Présentation Solving Higher - Order Equations Format Broché
- Livre Littérature Générale
Sommaire:
1 Introduction.- 2 Preview.- 2.1 Term Rewriting.- 2.2 Narrowing.- 2.3 Narrowing and Logic Programming.- 2.4 ?-Calculus and Higher-Order Logic.- 2.5 Higher-Order Term Rewriting.- 2.6 Higher-Order Unification.- 2.7 Decidability of Higher-Order Unification.- 2.8 Narrowing: The Higher-Order Case.- 3 Preliminaries.- 3.1 Abstract Reductions and Termination Orderings.- 3.2 Higher-Order Types and Terms.- 3.3 Positions in ?-Terms.- 3.4 Substitutions.- 3.5 Unification Theory.- 3.6 Higher-Order Patterns.- 4 Higher-Order Equational Reasoning.- 4.1 Higher-Order Unification by Transformation.- 4.2 Unification of Higher-Order Patterns.- 4.3 Higher-Order Term Rewriting.- 5 Decidability of Higher-Order Unification.- 5.1 Elimination Problems.- 5.2 Unification of Second-Order with Linear Terms.- 5.3 Relaxing the Linearity Restrictions.- 5.4 Applications and Open Problems.- 6 Higher-Order Lazy Narrowing.- 6.1 Lazy Narrowing.- 6.2 Lazy Narrowing with Terminating Rules.- 6.3 Lazy Narrowing with Left-Linear Rules.- 6.4 Narrowing with Normal Conditional Rules.- 6.5 Scope and Completeness of Narrowing.- 7 Variations of Higher-Order Narrowing.- 7.1 A General Notion of Higher-Order Narrowing.- 7.2 Narrowing on Patterns with Pattern Rules.- 7.3 Narrowing Beyond Patterns.- 7.4 Narrowing on Patterns with Constraints.- 8 Applications of Higher-Order Narrowing.- 8.1 Functional-Logic Programming.- 8.2 Equational Reasoning by Narrowing.- 9 Concluding Remarks.- 9.1 Related Work.- 9.2 Further Work.
Détails de conformité du produit
Personne responsable dans l'UE