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