1. Temporal type theory :
پدیدآورنده : Patrick Schultz, David I. Spivak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : System theory.,System theory.
رده :
Q295
.
S38
2019
