Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             6 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Compositional strategy synthesis for stochastic games with multiple objectives Basset, N.
2018
261 P3 p. 536-587
artikel
2 Computation as social agency: What, how and who van Benthem, Johan
2018
261 P3 p. 519-535
artikel
3 Editorial Board 2018
261 P3 p. ii
artikel
4 Practical verification of multi-agent systems against Slk specifications Čermák, Petr
2018
261 P3 p. 588-614
artikel
5 Preface to the SR-2015 special issue Gutierrez, Julian
2018
261 P3 p. 487
artikel
6 Simulating cardinal preferences in Boolean games: A proof technique Ianovski, Egor
2018
261 P3 p. 488-518
artikel
                             6 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland