

The Efficiency of Theorem Proving Strategies - Plaisted, David A.
- Format: Broché
- 184 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreNos autres offres
-
57,59 €
Produit Neuf
Ou 14,40 € /mois
- Livraison : 3,99 €
- Livré entre le 28 et le 30 juillet
-
68,18 €
Produit Neuf
Ou 17,05 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 août
- 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 The Efficiency Of Theorem Proving Strategies Format Broché - Livre Informatique
0 avis sur The Efficiency Of Theorem Proving Strategies Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Fourth Wing
Neuf dès 29,30 €
Occasion dès 12,31 €
-
Isamu Noguchi: Space Of Akari And Stone
Occasion dès 30,00 €
-
Chamäleon : La Grammaire Allemande Sur Le Bout De La Langue - 137 Rappels, 323 Exercices Et Corrigés
1 avis
Neuf dès 22,40 €
-
Lexique Bilingue De La Mode Français-Anglais Et Anglais-Français
1 avis
Occasion dès 20,00 €
-
Becoming Disfarmer
Occasion dès 23,00 €
-
Litteratures Allemandes - Anthologie Et Méthodes D'approche Des Textes, 2ème Édition
1 avis
Occasion dès 12,00 €
-
Cambridge Igcse® First Language English Coursebook
Occasion dès 19,99 €
-
Michel Vaillant Le Fantôme Des 24 Heures
Occasion dès 19,88 €
-
40 Leçons Pour Parler Italien (2 Cd Audio)
4 avis
Neuf dès 29,90 €
Occasion dès 16,00 €
-
Le Mot & L'idée Anglais 2 - Vocabulaire Thématique
7 avis
Neuf dès 18,00 €
Occasion dès 16,66 €
-
Indian Villages Of The Southwest
Occasion dès 20,00 €
-
La Mort De Radiguet. Yukio Mishima. Bilingue. Gallimard. Traduit Du Japonais Par Dominique Palme.(2012)
2 avis
Occasion dès 28,00 €
-
Grecs En Occident De L'age Mycénien À La Fin L'héllenisme
Occasion dès 25,00 €
-
The Vocabulary Guide - Les Mots Anglais Et Leur Emploi
Neuf dès 20,50 €
Occasion dès 27,00 €
-
Fichte, Reden An Die Deutsche Nation
Neuf dès 21,00 €
-
The Reconstruction Of Nations
Neuf dès 30,09 €
-
Libres D'obéir - Le Management, Du Nazisme À Aujourd'hui
28 avis
Neuf dès 17,00 €
Occasion dès 15,40 €
-
The Culture Map
4 avis
Occasion dès 12,67 €
-
Anglais Spécial Toeic - Cahier De Vacances
Occasion dès 30,59 €
-
A Guide To The Project Management Body Of Knowledge (Pmbok® Guide) ? Seventh Edition And The Standard For Project Management (English)
Neuf dès 23,40 €
Produits similaires
Présentation The Efficiency Of Theorem Proving Strategies Format Broché
- Livre InformatiqueAuteur(s) : Plaisted, David A. - Zhu, YunshanEditeur : Vieweg & TeubnerLangue : AnglaisParution : 01/10/1999Format : Moyen, de 350g à 1kgNombre de pages : 184Expédition : 246Dimensions :...
Résumé :
..
Biographie:
David A. Plaisted ist seit 1984 Professor am Fachbereich Informatik der University of North Carolina. Seine gegenw?rtigen Forschungen umfassen automatisches Theorembeweisen, Termersetzungssysteme sowie funktionale und Logikprogrammierung.
Yunshan Zhu ist Mitarbeiter am selben Fachbereich der UNC. Sein Forschungsinteresse gilt dem automatischen Theorembeweisen, formalen Methoden und logikbasierten Methoden der K?nstlichen Intelligenz.
Since 1984 David A. Plaisted is professor in the Department of Computer Science at the University of North Carolina. His current interests include theorem proving, term-rewriting systems and logic and functional programming.
Yunshan Zhu also is a member of the Department of Computer Science at the University of North Carolina. Zhu's current research interests include theorem proving, formal methods and logical approaches of Artificial Intelligence.
Sommaire:
1 The Propositional Complexity of First-Order Theorem Proving Strategies.- 2 The First-Order Complexity of First-Order Theorem Proving Strategies.
Détails de conformité du produit
Personne responsable dans l'UE