| Ditemukan 129 dokumen dengan kata kunci 4687 |
Simpan CSV  |
|
Algebras of Relations and Relevance Logic
|
| Pengarang: Szabolcs Mikulás | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 305-321 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Updating Epistemic Logic Programs
|
| Pengarang: Yan Zhang | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 405-423 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Composing narrative discourse for stories of many characters: A case study over a chess game
|
| Pengarang: Pablo Gervás | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 4 Desember 2014, p. 511-531) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
|
| Pengarang: Giuliano Grossi, Massimo Marchi, Enrico Pontelli, and Alessandro Provetti | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 697-715 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Perancangan VoIP ( Voice over Internet Protocol) Dengan Asterisk Pada PT Graha Telekomunikasi Indonesia
|
|
|
|
Trilattice logic: an embedding-based approach
|
| Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (581-611) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Nested sequents for provability logic GLP
|
| Pengarang: Daniyar Shamkanov | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 789-815) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On the definability of simulation and bisimulation in epistemic logic
|
| Pengarang: Hans van Ditmarsch, David Fernández-Duque, and Wiebe van der Hoek | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1209-1227) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A resolution-based calculus for Coalition Logic
|
| Pengarang: Cláudia Nalon, Lan Zhang, Clare Dixon, and Ullrich Hustadt | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 883-917 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A tableau for general linear temporal logic
|
| Pengarang: Mark Alexander Reynolds | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1057-1080 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
