Sign in

Algorithmic Dependent-Type Theory of Situated Information and Context Assessments.

Roussanka Loukanova
Published in: DCAI (2022)
Keyphrases