Titre original :
We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1
Contenu du livre :
Ce livre offre une vue d'ensemble inestimable de la portée de la logique.
Il fait référence à certains des résultats les plus importants et les mieux établis en logique, tout en offrant un aperçu des dernières questions de recherche dans ce domaine. Il présente également un équilibre entre théorie et pratique, contenant des essais dans les domaines de la logique modale, de la logique intuitionniste, de la logique et du langage, de la logique non monotone et de la programmation logique, de la logique temporelle, de la logique et de l'apprentissage, de la combinaison de logiques, du raisonnement pratique, de la logique et de l'intelligence artificielle, de l'abduction, de la démonstration de théorèmes et du raisonnement orienté vers un but.
Il constituera une lecture précieuse pour les chercheurs et les étudiants diplômés en logique et en informatique, ainsi qu'une fabuleuse source d'inspiration pour les étudiants en recherche à la recherche d'un sujet de doctorat en logique et en informatique théorique.
Autres informations sur le livre :
| ISBN : | 9781904987116 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2005 |
| Nombre de pages : | 804 |
Achat:
Actuellement disponible, en stock.
