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]
主題
Aerospace engineering.
Aerospace Technology and Astronautics.
Astronautics.
Category Theory, Homological Algebra.
Category theory (Mathematics).
Homological algebra.
Mathematical logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Systems Theory, Control.
System theory.