Yazar
Pitts, Andrew. editor.
Format:
Electronic Resources
Alıntı:
2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015
Yazar
Dowek, Gilles. editor.
Format:
Electronic Resources
Alıntı:
Calculus -- The Structural Theory of Pure Type Systems -- Applicative May- and Should-Simulation in the
Yazar
Hansson, Sven Ove. editor.
Format:
Electronic Resources
Alıntı:
: Non-monotonic logic: preferential vs. algebraic semantics -- Chapter 11. Hykel Hosni: Towards a Bayesian theory
Yazar
Baldan, Paolo. editor.
Format:
Electronic Resources
Alıntı:
CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September
Yazar
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
-- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study
Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.
Yazar
van der Hoek, Wiebe. editor.
Format:
Electronic Resources
Alıntı:
disciplines as diverse as game theory and decision theory, philosophy and epistemology, linguistics, computer
Yazar
Beckmann, Arnold. editor.
Format:
Electronic Resources
Alıntı:
Constructivizations -- Immune Systems in Computer Virology -- ITRM-Recognizability from Random Oracles -- Systems with
Yazar
Laurent, Anne. editor.
Format:
Electronic Resources
Alıntı:
Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International
Yazar
Laurent, Anne. editor.
Format:
Electronic Resources
Alıntı:
Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International
Yazar
Laurent, Anne. editor.
Format:
Electronic Resources
Alıntı:
Information Processing and Management of Uncertainty in Knowledge-Based Systems 15th International
Arama Sonuçlarını Sınırlandır
Daraltılmış: