Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Temporal Type Theory
ID: 2528838

Creatori:

(781805) Schultz, Patrick

Espandi persona

...