Iris Unimi Prodmetadata only
A possible worlds semantics for trustworthy non-deterministic computations
possible worlds semantic, probabilistic processe, trustworthy ai, typed natural deduction, settore phil-02/a - logica e filosofia della scienza
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗Related documents
Record · ID 472073
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.