語系
Hofner, Peter.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings /
by:
RAMiCS (Conference) (2017 :); Hofner, Peter.; Pous, Damien.; Struth, Georg.; 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
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computer science- Mathematics
Relation algebras
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.