| Ditemukan 67 dokumen dengan kata kunci 4462 |
Simpan CSV  |
|
Embedding-based approaches to paraconsistent and temporal description logics
|
| Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1097-1124 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logical Weak Completions of Paraconsistent Logics
|
| Pengarang: Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 913-940 |
|
|
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 ::
|
|
|
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 ::
|
|
|
Strong normalization in some temporal substructural logics
|
| Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 1-24 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification
|
| Pengarang: V. Rybakov | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 509-519 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Paraconsistent Machines and their Relation to Quantum Computing
|
| Pengarang: Juan C. Agudelo and Walter Carnielli | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 573-595 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Some non-classical approaches to the Brandenburger–Keisler paradox
|
| Pengarang: Can Başkent | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 533-552) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Connectomics: comprehensive approaches for whole-brain mapping
|
| Pengarang: Shinsuke Shibata, Yuji Komaki, Fumiko Seki, Michiko O. Inouye, dll | No. Panggil: Microscopy (Volume 64 Issue 1 February 2015, p. 57-67) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Model Checking Using Description Logic
|
| Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
