Hinze, Ralf.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Introducing string diagrams = the art of category theory /
by:
Hinze, Ralf.; Marsden, Dan.
(書目-電子資源)
Mathematics of program construction = 12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
Hinze, Ralf.; Voigtlander, Janis.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Computer programs- Mathematics
Logics and Meanings of Programs.
Mathematics- Graphic methods.
Programming Languages, Compilers, Interpreters.
Computer programming- Mathematics
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
Categories (Mathematics)