| Ditemukan 11 dokumen dengan kata kunci 4416 |
Simpan CSV  |
|
Dependency in Cooperative Boolean Games
|
| Pengarang: Luigi Sauro and Serena Villata | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 425-444 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Deterministic Graphical Games Revisited
|
| Pengarang: Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, and Troels Bjerre Sørensen | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 165-178 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Capturing cooperative interactions with the PSI-MI format
|
| Pengarang: Kim Van Roey, Sandra Orchard, Samuel Kerrien, Marine Dumousseau, dll | No. Panggil: Database (Volume 2013, p.bat066) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Social choice and the logic of simple games
|
| Pengarang: Tijmen R. Daniëls | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 883-906 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Core of Coalition Games on MV-algebras
|
| Pengarang: Tomáš Kroupa | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 479-492 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Verification of Games in the Game Description Language
|
| Pengarang: Ji Ruan, Wiebe van der Hoek, and Michael Wooldridge | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1127-1156 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On deontic action logics based on Boolean algebra
|
| Pengarang: Robert Trypuz, Piotr Kulicki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1241-1260) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
From (Quantified) Boolean Formulae to Answer Set Programming
|
| Pengarang: Igor Stéphan, Benoit Da Mota, and Pascal Nicolas | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 565-590 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A dependency perspective on the adequacy of tree local multi-component tree adjoining grammar
|
| Pengarang: Joan Chen-Main and Aravind K. Joshi | No. Panggil: Journal of Logic and Computation (October 2014; 24 (5), p. 989-1022) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Strict equilibria interchangeability in multi-player zero-sum games
|
| Pengarang: Pavel Naumov and Italo Simonelli | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 851-861) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
