Ditemukan 154 dokumen dengan kata kunci 4639 |
Simpan CSV ![Simpan CSV](icons/save.png) |
On White's Expansion of Łukasiewicz Logic
|
Pengarang: Petr Hájek | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 389-397 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Admissible Rules of Łukasiewicz Logic
|
Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 425-447 |
|
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 ::
|
|
Tableaux and Resource Graphs for Separation Logic
|
Pengarang: Didier Galmiche and Daniel Méry | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 189-231 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Labelled Tableaux for Distributed Temporal Logic
|
Pengarang: David Basin, Carlos Caleiro, Jaime Ramos, and Luca Viganň | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1245-1279 |
|
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 ::
|
|
On Dynamic Topological Logic of the Real Line
|
Pengarang: Maria Nogin and Aleksey Nogin | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 1029-1045 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Analisis system operasi menggunakan system remote dengan tool MGADiag serta pengecekan spesifikasi menggunakan CPU-2 di kementrian komunikasi dan informasi
|
|
How incentives trickle down: Local use of a national bibliometric indicator system
|
Pengarang: Kaare Aagaard | No. Panggil: Science and Public Policy (Volume 42 Issue 5 October 2015, p. 725-737) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
FarsiSpell: A spell-checking system for Persian using a large monolingual corpus
|
Pengarang: Tayebeh Mosavi Miangah | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 1 April 2015, p. 56-73) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|