Moller, Bernhard.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Mathematics of program construction6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
by:
(1998 :); Boiten, Eerke.; Moller, Bernhard.; SpringerLink (Online service)
(書目-電子資源)
Prospects for hardware foundationsESPRIT Working Group 8533 : NADA - new hardware design methods, survey chapters /
by:
Moller, Bernhard.; SpringerLink (Online service); Tucker, John V.
(書目-電子資源)
Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /
by:
(1998 :); Berghammer, Rudolf.; Jaoua, Ali Mohamed.; Moller, Bernhard.; SpringerLink (Online service)
(書目-電子資源)
主題
Algebraic logic
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algebra.
Computer programming
Relation algebras
Computer science
Order, Lattices, Ordered Algebraic Structures.
Discrete Mathematics in Computer Science.
Computer Science.
Computers
Symbolic and Algebraic Manipulation.