Reactive Kripke Semantics
- ISBN
- 9783662514368
Reactive Kripke Semantics est un artificial intelligence, computer science book de Dov M. M. Gabbay.
Découvrez Reactive Kripke Semantics de Dov M. M. Gabbay, artificial intelligence.
À propos de l'auteur
est l'auteur de Reactive Kripke Semantics. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Dov M. M. Gabbay →Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Reactive Kripke Semantics ?+
Reactive Kripke Semantics est un livre de Artificial intelligence, Computer science, Logic, symbolic and mathematical.
Qui a écrit Reactive Kripke Semantics ?+
Reactive Kripke Semantics a été écrit par Dov M. M. Gabbay.