Solving Higher-Order Equations - Prehofer, Christian
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre135,08 €
Produit Neuf
Ou 33,77 € /mois
- Livraison à 0,01 €
- Livré entre le 26 mai et le 2 juin
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
-
165,99 €
Produit Neuf
Ou 41,50 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 juin
- 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.
-
Bruegel. The Complete Works
Neuf dès 95,23 €
-
Ocp Oracle Certified Professional Java Se 21 Developer Study Guide
Neuf dès 72,73 €
-
Mies Van Der Rohe
Occasion dès 96,00 €
-
Instability, Skew-T & Hodograph Handbook
Neuf dès 86,43 €
-
Understanding Greek Religion
Neuf dès 71,08 €
-
Marianne North At Kew Gardens
Occasion dès 68,62 €
-
Giorgio Morandi Artista D'europa
Occasion dès 150,00 €
-
The Oxford Handbook Of Latin American History
Neuf dès 80,98 €
-
Lingua Latina Per Se Illustrata Pars I I
Occasion dès 119,17 €
-
Lee Miller: An Exhibition Of Photographs, 1929-1964
Occasion dès 125,00 €
-
David Hockney Paintings (Art & Design)
Occasion dès 78,26 €
-
Hollywood Jewels: Movies, Jewelry, Stars
Occasion dès 131,99 €
-
Calvin Klein
Neuf dès 121,62 €
-
Manuel D'épigraphie Akkadienne - (Signes, Syllabaire, Idéogrammes)
1 avis
Occasion dès 182,60 €
-
David Yarrow
Neuf dès 123,00 €
Occasion dès 192,86 €
-
In The American West 40th Anniversary Edition
1 avis
Neuf dès 80,00 €
Occasion dès 192,09 €
-
The Philip K. Dick Collection
Neuf dès 109,00 €
-
Designed By Peter Saville
1 avis
Occasion dès 99,00 €
-
Financial Markets And Institutions, Global Edition
Neuf dès 117,78 €
-
Conformal Field Theory
Neuf dès 190,65 €
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