Yazar
Barkatou, Moulay. editor.
Format:
Electronic Resources
Alıntı:
Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting
Yazar
Weyers, Benjamin. editor.
Format:
Electronic Resources
Alıntı:
Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS
View Other Search Results
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
-- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study
Arama Sonuçlarını Sınırlandır
Daraltılmış: