Ditemukan 64 dokumen dengan kata kunci 4388 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Combinatorics of chromosomal rearrangements based on synteny blocks and synteny packs
|
Pengarang: Guénola Drillon, Alessandra Carbone, and Gilles Fischer | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 815-838 |
|
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 ::
|
|
A resolution-based calculus for Coalition Logic
|
Pengarang: Cláudia Nalon, Lan Zhang, Clare Dixon, and Ullrich Hustadt | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 883-917 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Property-based Slicing for Agent Verification
|
Pengarang: Rafael H. Bordini, Michael Fisher, Michael Wooldridge, and Willem Visser | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1385-1425 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
An Axiomatic Characterization of Ensconcement-Based Contraction
|
Pengarang: Eduardo Fermé, Martín Krevneris, and Maurício Reis | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 739-753 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Algebra-Based College Physics: Part I
|
|
Evaluative multiple revision based on core beliefs
|
Pengarang: Yongfeng Yuan, Shier Ju, Xuefeng Wen | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 781-804) |
|
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 ::
|
|
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 ::
|
|
Collective performance: modeling the interaction of habit-based actions
|
Pengarang: Michael D. Cohen, Daniel A. Levinthal, and Massimo Warglien | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 2 April 2014, p. 329-360) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|