Ditemukan 110 dokumen dengan kata kunci 4549 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Comments on Interpretability and Decidability in Fuzzy Logic
|
Pengarang: Petr Hájek | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 823-828 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Arithmetical Completeness of the Intuitionistic Logic of Proofs
|
Pengarang: Evgenij Dashkov | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 665-682 |
|
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 ::
|
|
A Complete Deductive System for Probability Logic
|
Pengarang: Chunlai Zhou | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1427-1454 |
|
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 ::
|
|
The complexity of handling minimal solutions in logic-based abduction
|
Pengarang: Andreas Pfandler, Reinhard Pichler, Stefan Woltran | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p.805-825) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
First steps towards probabilistic justification logic
|
Pengarang: Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović, and Thomas Studer | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 662-687) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|