Soyez informé(e) par e-mail dès l'arrivée de cet article
Créer une alerte prix- 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 Automated Reasoning Format Broché - Livre Informatique
0 avis sur Automated Reasoning Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Automated Reasoning Format Broché
- Livre Informatique
Sommaire:
1 A Biographical Sketch of W. W. Bledsoe.- 2 METEORs: High Performance Theorem Provers using Model Elimination.- 3 The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II.- 4 Perspectives on Automated Deduction.- 5 MJRTY-A Fast Majority Vote Algorithm.- 6 How the Brain Adjusts Synapses-Maybe.- 7 The Use of Proof Plans for Normalization.- 8 What Are the Limitations of the Situation Calculus?.- 9 Reasoning In Paraconsistent Logics.- 10 Compiling Recursive Functional Prolog Programs with List Structure into Procedural Languages.- 11 Aligning Multiple RNA Sequences.- 12 Similarity, Uncertainty and Case-Based Reasoning in Patdex.- 13 Formal and Informal Proofs.- 14 PTTP and Linked Inference.- 15 Automated Reasoning and Bledsoe's Dream for the Field.- Contributors.