Reactive Kripke Semantics - Cognitive Technologies - Dov M. Gabbay - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783662514368 - 2016年8月23日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Reactive Kripke Semantics - Cognitive Technologies Softcover reprint of the original 1st ed. 2013 edition

価格
¥ 17.101
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月6日 - 年7月16日
iMusicのウィッシュリストに追加

他の形態でも入手可能:

This book opens with a lucid explanation of the theory of reactive Kripke semantics, followed by chapters demonstrating applications in a variety of areas. The book benefits both researchers and graduate students working in the field of mathematical logic.


454 pages, 191 black & white illustrations, 10 colour illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2016年8月23日
ISBN13 9783662514368
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 442
寸法 155 × 235 × 23 mm   ·   635 g
言語 ドイツ語  

Dov M. Gabbayの他の作品を見る

すべて表示

Mere med samme udgiver