この商品を友人に教える:
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science Michael Fisher Annotated edition
価格
CA$ 77,99
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月19日 - 年12月31日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science
Michael Fisher
Presents the revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. This title addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints.
188 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 1995年2月17日 |
| ISBN13 | 9783540589761 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 188 |
| 寸法 | 156 × 234 × 10 mm · 281 g |
| 言語 | ドイツ語 |
| 編集者 | Fisher, Michael |
| 編集者 | Owens, Richard |
![Cover for Michael Fisher · Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/961/9783642328961.jpg?michael-fisher-2012-computational-logic-in-multi-agent-systems-13th-international-workshop-clima-xiii-montpellier-france-august-27-28-2012-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1603433493)
![Cover for Michael Fisher · Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers - Lecture Notes in Computer Science (Paperback Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/338/9783642027338.jpg?michael-fisher-2009-computational-logic-in-multi-agent-systems-9th-international-workshop-clima-ix-dresden-germany-september-29-30-2008-revised-selected-and-invited-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1402913882)
