Fr. 85.20

Formal Methods in Artificial Intelligenc

Anglais · Livre de poche

Expédition généralement dans un délai de 2 à 3 semaines (titre imprimé sur commande)

Description

En savoir plus

Informationen zum Autor Allan Ramsay is an Emeritus Professor. He is highly skilled in Python and has extensive knowledge of Emotion Analysis. Klappentext This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving. Zusammenfassung Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book! written for workers in artificial intelligence! covers the background of classical logic! including the major meta-theorems! and the state of the art in theorem proving! including Bibel's connection method. Inhaltsverzeichnis Preface; 1. Logic: proofs and models; 2. Propositional calculus; 3. Predicate calculus; 4. Theorem proving; 5. Modal logic; 6. temporal reasoning; 7. Non-Monotonic reasoning; 8. Properties; 9. Alternative views; Bibliography; Index.

Détails du produit

Auteurs Allan Ramsay, Allan M Ramsay, Allan M. Ramsay
Collaboration Samson Abramsky (Editeur), C. J. van Rijsbergen (Editeur), C. J. van Rijsbergen (Editeur)
Edition External catalogues UK
 
Langues Anglais
Format d'édition Livre de poche
Sortie 09.06.2009
 
EAN 9780521424219
ISBN 978-0-521-42421-9
Thème Cambridge Tracts in Theoretica
Catégories Livres de conseils
Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique

Commentaires des clients

Aucune analyse n'a été rédigée sur cet article pour le moment. Sois le premier à donner ton avis et aide les autres utilisateurs à prendre leur décision d'achat.

Écris un commentaire

Super ou nul ? Donne ton propre avis.

Pour les messages à CeDe.ch, veuillez utiliser le formulaire de contact.

Il faut impérativement remplir les champs de saisie marqués d'une *.

En soumettant ce formulaire, tu acceptes notre déclaration de protection des données.