登入選單
Google圖書搜尋
Metric Temporal Graph Logic over Typed Attributed ...
作者
Holger Giese / Maria Maximova / Lucas Sakizloglou / Sven Schneider
出版Universitätsverlag Potsdam, 2018
ISBN
9783869564333 / 3869564334
主題
Computers
Metric Temporal Graph Logic over Typed Attributed ...
作者
Giese, Holger / Maximova, Maria / Sakizloglou, Lucas / Schneider, Sven
出版Universitätsverlag Potsdam, 2019
ISBN
9783869564630 / 3869564636
主題
Computers
Metric Temporal Graph Logic over Typed Attributed ...
作者
Holger Giese / Maria Maximova / Lucas Sakizloglou / Sven Schneider
出版Universitätsverlag Potsdam, 2018
ISBN
9783869564333 / 3869564334
主題
Computers