Hasil Pencarian
Ditemukan 70 dokumen dengan kata kunci 4335 Simpan CSV Simpan CSV
Innovation decision making in high-risk organizations: A comparison of the US and Soviet attack submarine programs
Pengarang: Paul Bierly, Scott Gallagher, and J.-C. Spender | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 3 June 2014, p. 759-795) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
On deontic action logics based on Boolean algebra
Pengarang: Robert Trypuz, Piotr Kulicki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1241-1260) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Bijective faithful translations among default logics
Pengarang: Paolo Liberatore | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 763-807 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Probabilistic logics for objects located in space and time
Pengarang: Dragan Doder, John Grant, and Zoran Ognjanović | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 487-515 |
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  ::
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  ::
Cut Elimination and Realization for Epistemic Logics with Justification
Pengarang: Meghdad Ghari | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1171-1198 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
Pengarang: Lawrence S. Moss | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1101-1111 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Tableaux for Logics of Subinterval Structures over Dense Orderings
Pengarang: Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 133-166 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Universal algebra for general aggregation theory: Many-valued propositional-attitude aggregators as MV-homomorphisms
Pengarang: Frederik S. Herzberg | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 965-977) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7  Next