1
0
0
0
0
Challenges for action theories [electronic resource]
- 作者: Thielscher, Michael.
- 其他作者:
- 出版: Berlin ;New York : Springer
- 叢書名: Lecture notes in computer science1775
- 主題: Computer logic , System design , Formal methods (Computer science)
- ISBN: 9783540674559 (paper)
- FIND@SFXID: CGU
- 資料類型: 電子書
-
讀者標籤:
- 系統號: 005056226 | 機讀編目格式