| Ditemukan 13 dokumen dengan kata kunci 4497 |
Simpan CSV  |
|
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 ::
|
|
|
The cf2 argumentation semantics revisited
|
| Pengarang: Sarah Alice Gaggl and Stefan Woltran | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 925-949 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
Qualitative Temporal and Spatial Reasoning Revisited
|
| Pengarang: Manuel Bodirsky and Hubie Chen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1359-1383 |
|
|
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 ::
|
|
|
Low upper bounds in the Turing degrees revisited
|
| Pengarang: George Barmpalias and André Nies | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 693-699 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Stroke-based intelligent character recognition using a deterministic finite automaton
|
| Pengarang: D. Álvarez, R. Fernández, and L. Sánchez | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 463-471) |
|
|
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
