Spivak, David I.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Temporal Type Theory = A Topos-Theoretic Approach to Systems and Behavior /
by:
Spivak, David I.; Schultz, Patrick.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Mathematical logic.
Homological algebra.
Category Theory, Homological Algebra.
Aerospace Technology and Astronautics.
Category theory (Mathematics).
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Aerospace engineering.
Systems Theory, Control.
System theory.
Astronautics.