Languages
Hofner, Peter.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.