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.