Reactive Kripke Semantics
ISBN
9783662514368
Reactive Kripke Semantics is a artificial intelligence, computer science book by Dov M. M. Gabbay.
Discover Reactive Kripke Semantics by Dov M. M. Gabbay, artificial intelligence.
About the Author
is the author of Reactive Kripke Semantics. Browse their full catalog on Booklogr.
Explore more books by Dov M. M. Gabbay →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Reactive Kripke Semantics?+
Reactive Kripke Semantics is a Artificial intelligence, Computer science, Logic, symbolic and mathematical book.
Who wrote Reactive Kripke Semantics?+
Reactive Kripke Semantics was written by Dov M. M. Gabbay.