14 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Clerbout, Nicolas. author.
Format:
Electronic Resources
Alıntı:
Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT
Yazar
Dinh, Thang N. editor.
Format:
Electronic Resources
Alıntı:
Game Theory and Algorithms -- Parameterized Complexity and Algorithms -- Database and Data
View Other Search Results
Yazar
Destercke, Sébastien. editor.
Format:
Electronic Resources
Alıntı:
cover topics on decision theory and preferences; argumentation; conditionals; game theory; belief update
Yazar
Silva, Alexandra. editor.
Format:
Electronic Resources
Alıntı:
Axiomatization of the d-logic of Planar Polygons -- An Ehrenfeucht–Fraisse game for inquisitive first-order logic
Yazar
Artemov, Sergei. editor.
Format:
Electronic Resources
Alıntı:
system logics -- Logics of proof and justification -- Non-monotonic reasoning -- Logic in game theory and
Yazar
van Benthem, Johan. editor.
Format:
Electronic Resources
Alıntı:
Models of Strategic Reasoning Logics, Games, and Communities / van Benthem, Johan. editor.
Yazar
Ouaknine, Joël. editor.
Format:
Electronic Resources
Alıntı:
Coding and Information Theory.
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016
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
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory
Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
A Note on Game Theory and Verification -- Lazy Abstraction-Based Controller Synthesis -- Truth
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
14 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: