語系:
繁體中文
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)
Symbolic and Algebraic Manipulation.
Abstract data types (Computer science)
Algebraic logic
Software engineering
Computer Science.
Programming Techniques.
Computer science
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入