| Ditemukan 44 dokumen dengan kata kunci 4329 |
Simpan CSV  |
|
Bijective faithful translations among default logics
|
| Pengarang: Paolo Liberatore | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 763-807 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Turing is among us
|
| Pengarang: Luís Moniz Pereira | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1257-1277 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The complexity of reasoning for fragments of default logic
|
| Pengarang: Olaf Beyersdorff, Arne Meier, Michael Thomas, and Heribert Vollmer | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 587-604 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Determinants of inter-firm networks among tenants of science technology parks
|
| Pengarang: Özgecan Koçak and Özge Can | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 2 April 2014, p. 467-492) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The rules of the game are changing: Scientific impact factors and publication strategies among logicians
|
| Pengarang: Hans van Ditmarsch and Rineke Verbrugge | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 121-132 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Reduction of provability logics to Σ1-provability logics
|
| Pengarang: Mohammad Ardeshir and S. Mojtaba Mojtahedi | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 842-847) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Initial semantics in logics with constructors
|
| Pengarang: Daniel Găină and Kokichi Futatsugi | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 95-116) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The expressivity of update logics
|
| Pengarang: Louwe B. Kuijer | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 719-742) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logics for some dynamic spaces-I
|
| Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 827-856) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On meet-combination of logics
|
| Pengarang: A. Sernadas, C. Sernadas,and J. Rasga | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1453-1470 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
