Term Indexing - Graf, Peter
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre82,51 €
Produit Neuf
Ou 20,63 € /mois
- Livraison : 3,99 €
- Livré entre le 27 juillet et le 3 août
Nos autres offres
-
89,06 €
Produit Neuf
Ou 22,27 € /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;ria9783540610403_dbm
Voir le détail de l'annonce -
86,82 €
Produit Neuf
Ou 21,71 € /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 Term Indexing Format Broché - Livre Littérature Générale
0 avis sur Term Indexing Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Project Management For Engineers
Neuf dès 69,48 €
-
Manuel D'arabe En Ligne Apprentissage En Autonomie
Occasion dès 45,87 €
-
Art Of Haikyu!!
Neuf dès 46,00 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
The Name Of The Wind
Neuf dès 42,72 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
History For The Ib Diploma Paper 3 The Soviet Union And Post-Soviet Russia (1924-2000) Coursebook With Digital Access (2 Years)
Neuf dès 44,39 €
-
The Mirabelle Cookbook
Occasion dès 94,71 €
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
The Hobbit And The Lord Of The Rings
Occasion dès 43,02 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
Twilight
1 avis
Occasion dès 47,02 €
-
Anselm Kiefer
Neuf dès 49,58 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 73,00 €
-
Maps
Neuf dès 46,70 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Medieval Military Technology, Second Edition
Neuf dès 62,76 €
Produits similaires
Présentation Term Indexing Format Broché
- Livre Littérature Générale
Résumé :
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
Sommaire:
Preliminaries.- Fundamental data structures and algorithms.- Attribute-based indexing.- Set-based indexing.- Tree-based indexing.- Comparison of indexing techniques.- Indexing in theorem provers.- Summary.
Détails de conformité du produit
Personne responsable dans l'UE