| Ditemukan 47 dokumen dengan kata kunci 4693 |
Simpan CSV  |
|
Standard Logics Are Valuation-Nonmonotonic
|
| Pengarang: Mladen Pavičić and Norman D. Megill | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 959-982 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Reactive standard deontic logic
|
| Pengarang: Dov M. Gabbay and Christian Straßer | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 117-157) |
|
|
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 ::
|
|
|
The Confidence Information Ontology: a step towards a standard for asserting confidence in annotations
|
| Pengarang: Frederic B. Bastian, Marcus C. Chibucos, Pascale Gaudet, Michelle Giglio, dll | No. Panggil: Database (Volume 2015, p. bav043) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
iSimp in BioC standard format: enhancing the interoperability of a sentence simplification system
|
| Pengarang: Yifan Peng, Catalina O. Tudor, Manabu Torii, Cathy H. Wu, dll | No. Panggil: Database (Volume 2014, p.bau038) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Standard (AES) 128BIT untuk keamanan sms (short message service) pada ponsel android
|
|
|
|
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
