| Ditemukan 79 dokumen dengan kata kunci 4327 |
Simpan CSV  |
|
On guarded transformation in the modal μ-calculus
|
| Pengarang: Florian Bruse, Oliver Friedmann, and Martin Lange | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 194-216) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Modal Operators over Constructive Logic
|
| Pengarang: Evgeny Yu. Sherkhonov | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 815-829 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Jutawan Modal Online dengan Google AdSense
|
|
|
|
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 ::
|
|
|
Temporal Logics of Repeating Values
|
| Pengarang: Stéphane Demri, Deepak D’Souza, and Régis Gascon | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1059-1096 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Expressible preferential logics
|
| Pengarang: Francicleber Martins Ferreira and Ana Teresa Martins | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1125-1143 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Intuitionistic Trilattice Logics
|
| Pengarang: Heinrich Wansing and Norihiro Kamide | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1201-1229 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Syllogistic Logics with Verbs
|
| Pengarang: Lawrence S. Moss | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 947-967 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
