語系
Hofner, Peter.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Relational and algebraic methods in computer science16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings /
by:
(1998 :); Hofner, Peter.; Pous, Damien.; SpringerLink (Online service); Struth, Georg.
(書目-電子資源)
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)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Algebraic logic
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computer science
Relation algebras
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.