Knihobot

Reactive Kripke Semantics

Parametry

Počet stran
456 stránek
Čas čtení
16 hodin

Více o knize

The book begins with a clear overview of reactive Kripke semantics theory, providing a solid foundation for understanding its principles. Subsequent chapters showcase practical applications across various domains, making it a valuable resource for both researchers and graduate students in mathematical logic. Its comprehensive approach bridges theory and practice, catering to those looking to deepen their knowledge in this specialized field.

Vydání

Nákup knihy

Reactive Kripke Semantics, Dov M. Gabbay

Jazyk
Rok vydání
2016
product-detail.submit-box.info.binding
(měkká)
Jakmile ji vyčmucháme, pošleme e-mail.

Doručení

  •  

Platební metody

Nikdo zatím neohodnotil.Ohodnotit