語系:
繁體中文
English
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Algebraic logic - Congresses.
概要
作品:
2 作品在 0 項出版品 0 種語言
書目資訊
Relations and Kleene algebra in computer science = 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer Science.
Programming Techniques.
Symbolic and Algebraic Manipulation.
Computer science
Mathematical Logic and Formal Languages.
Abstract data types (Computer science)
Logics and Meanings of Programs.
Algebraic logic
Software engineering
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入