88,39 €
Produit Neuf
Ou 22,10 € /mois
- Livraison à 0,01 €
- Livré entre le 21 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;ria9783540557029_dbm
Nos autres offres
-
84,40 €
Produit Neuf
Ou 21,10 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 27 août
Voir le détail de l'annonce -
88,39 €
Produit Neuf
Ou 22,10 € /mois
- Livraison à 0,01 €
- Livré entre le 21 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;ria9783540557029_dbm
Voir le détail de l'annonce -
82,80 €
Produit Neuf
Ou 20,70 € /mois
- Livraison : 25,00 €
- Livré entre le 4 et le 9 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 Theorie Der Logischen Programmierung Format Broché - Livre Littérature Générale
0 avis sur Theorie Der Logischen Programmierung Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Der Mythus Des Zwangzigsten Jahrhunderts
Occasion dès 49,00 €
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
Complete Swedish Beginner To Intermediate Course
1 avis
Neuf dès 49,73 €
-
Alinea
1 avis
Occasion dès 55,00 €
-
Mathématiques 1re S Et E : Géométrie Et Statistiques (Collection Terracher)
2 avis
Occasion dès 46,96 €
-
Des Bienfaits, 2 Tomes
1 avis
Occasion dès 45,80 €
-
Michael Kenna: Silver Haikus
3 avis
Neuf dès 52,52 €
-
Les Outils Dans Les Balkans Du Moyen Âge À Nos Jours
Occasion dès 50,00 €
-
Communion
Neuf dès 44,71 €
-
Drive-In Dream Girls
Neuf dès 51,39 €
-
Google Pixel 10 Pro : Pixel 10 Pro
Neuf dès 41,99 €
-
Dc Finest: Hawkman: Wings Across Time
Neuf dès 42,16 €
-
Tusculanes, 2 Tomes (I-V)
Occasion dès 45,80 €
-
L'italien B2 - Pack Avec 1 Livre (3 Cd Audio)
1 avis
Neuf dès 65,90 €
Occasion dès 191,71 €
-
Essential Grammar In Use - Une Grammaire De Référence Et De Pratique Destinée Aux Étudiants De Niveau Élémentaire
7 avis
Neuf dès 72,30 €
Occasion dès 80,00 €
-
Ellen Von Unwerth. Heimat
Neuf dès 98,04 €
-
Porsche Racing Cars
Neuf dès 102,94 €
-
Xbox Series X : (J)
Neuf dès 43,99 €
-
Sapiens. De Animales A Dioses (Edición Especial 10° Aniversario) / Sapiens: A Brief History Of Humankind
Neuf dès 47,65 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 69,00 €
Produits similaires
Présentation Theorie Der Logischen Programmierung Format Broché
- Livre Littérature Générale
Sommaire:
0 Einleitung.- 1 Voraussetzungen.- 1.1 Terminologie und Notation.- 1.2 ?bungsaufgaben.- 2 Der Pr?dikatenkalk?l erster Stufe.- 2.1 Die Syntax des Pr?dikatenkalk?ls erster Stufe.- 2.2 Semantik des Pr?dikatenkalk?ls erster Stufe.- 2.3 Die Interpretation von Formeln des Pr?dikatenkalk?ls.- 2.4 Herbrand-Strukturen.- 2.5 ?bungsaufgaben.- 3 Unifikation.- 3.1 Substitution.- 3.2 Der Termverband.- 3.3 Unifikation sortierter Terme.- 3.4 Unifikation von Termen zweiter Stufe.- 3.5 ?bungsaufgaben.- 4 Unifikationsalgorithmen.- 4.1 Der Algorithmus von J. A. Robinson.- 4.2 Der Martelli-Montanari Algorithmus.- 4.3 ?bungsaufgaben.- 5 Resolutionskalk?le.- 5.1 Das Resolutionsprinzip.- 5.2 Die St?tzmengen-Strategie.- 5.3 Beweisdiagramme.- 5.4 Modellelimination.- 5.5 ?bungsaufgaben.- 6 PROLOG-Situationen.- 6.1 Lineare Resolution.- 6.2 Beweissuchb?ume.- 6.3 Fixpunkte.- 6.4 Im Endlichen erfolglose Beweissuchb?ume.- 6.5 ?bungsaufgaben.- 7 Eigenschaften von Hornkauseln.- 7.1 Modelltheoretische Eigenschaften von Hornklauseln.- 7.2 Die Turingvollst?ndigkeit des Hornklauselfragments.- 7.3 ?bungsaufgaben.- 8 Allgemeine PROLOG-Situationen.- 8.1 NF-Beweissuchb?ume.- 8.2 Die Vervollst?ndigung.- 8.3 Der Korrektheitssatz f?r NF-Beweissuche.- 8.4 Fixpunkte.- 8.5 Ein Vollst?ndigkeitssatz.- 8.6 ?bungsaufgaben.- 9 Dreiwertige Semantik f?r verallgemeinerte PROLOG-Situationen.- 9.1 Einf?hrung in die dreiwertige Logik.- 9.2 Die Dreiwertige Vervollst?ndigung.- 9.3 Exkurs ?ber saturierte Strukturen.- 9.4 ?bungsaufgaben.- 10 PROLOG-Situationen mit Gleichheit.- 10.1 Syntax und Semantik.- 10.2 K-Herbrand-Strukturen.- 10.3 E-Resolution.- 10.4 ?bungsaufgaben.- 11 Logische Programme mit Randbedingungen.- 11.1 Prolog-Situationen mit Randbedingungen.- 11.2 ?bungsaufgaben.- L?sungen.
Détails de conformité du produit
Personne responsable dans l'UE