語系
Kahl, Wolfram.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Relational and algebraic methods in computer science13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings /
by:
(1998 :); Griffin, Timothy G.; Kahl, Wolfram.; SpringerLink (Online service)
(書目-電子資源)
Relational and algebraic methods in computer science14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : proceedings /
by:
(1998 :); Hofner, Peter.; Jipsen, Peter.; Kahl, Wolfram.; Muller, Martin Eric.; SpringerLink (Online service)
(書目-電子資源)
Relational and algebraic methods in computer science15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /
by:
(1998 :); Kahl, Wolfram.; Oliveira, Jose.; SpringerLink (Online service); Winter, Michael.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Algebraic logic
Computer Science, general.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computer science
Relation algebras
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.