Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science - Elzbieta Hajnicz - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540609414 - 1996年3月20日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Elzbieta Hajnicz
Time Structures: Formal Description and Algorithmic Representation - Lecture Notes in Computer Science 1996 edition

価格
¥ 8.826
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月20日 - 年7月30日

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures and their algorithmic representations. It analyzes logical descriptions and algorithmic representions of time structures.

249 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1996年3月20日
ISBN13 9783540609414
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 249
寸法 156 × 234 × 13 mm   ·   367 g
言語 英語  

Mere med samme udgiver

Elzbieta Hajniczのすべてを見る ( 例： Paperback Book )