Dov M. Gabbay

Reactive Kripke Semantics

We couldn't estimate the reading time for this book.

Author

Dov M. Gabbay

Publication

2013 - Springer London, Limited

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

ISBN-139783642413896
ISBN-103642413897
Better World Books9783642413896
Open LibraryOL35502463M

Classifications

LCCQA75.5-76.95

Subjects

Topics

Computer science Artificial intelligence Logic, symbolic and mathematical

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!