13 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Black, Elizabeth. editor. (orcid)0000-0002-4295-449X
Format:
Electronic Resources
Alıntı:
Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne
Yazar
Destercke, Sébastien. editor.
Format:
Electronic Resources
Alıntı:
cover topics on decision theory and preferences; argumentation; conditionals; game theory; belief update
View Other Search Results
Yazar
Xu, Dachuan. editor.
Format:
Electronic Resources
Alıntı:
cover various topics including algorithms and data structures; algorithmic game theory; approximation
Yazar
Cai, Zhipeng. editor.
Format:
Electronic Resources
Alıntı:
; approximation algorithm; graph theory and algorithms; game theory and cryptography; scheduling algorithms and
Yazar
Lluch Lafuente, Alberto. editor.
Format:
Electronic Resources
Alıntı:
abstractions; communication protocols and behavioural types; actors and concurrent objects; tuple spaces; games
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
Artemov, Sergei. editor.
Format:
Electronic Resources
Alıntı:
system logics -- Logics of proof and justification -- Non-monotonic reasoning -- Logic in game theory and
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
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
A Note on Game Theory and Verification -- Lazy Abstraction-Based Controller Synthesis -- Truth
Yazar
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017
13 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: