Hasil Pencarian
Ditemukan 25 dokumen dengan kata kunci 3604 Simpan CSV Simpan CSV
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  ::
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  ::
Intuitionistic Trilattice Logics
Pengarang: Heinrich Wansing and Norihiro Kamide | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1201-1229 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A General Approach to Aggregation Problems
Pengarang: Tijmen R. Daniëls and Eric Pacuit | No. Panggil: Journal of Logic and Computation June 2009, 19 (3), p. 517-536 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A hybrid qualitative approach for relative movements
Pengarang: Joanna Golińska-Pilarek and Emilio Muñoz-Velasco | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 410-420) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
An equational approach to the merging of argumentation networks
Pengarang: Dov. M. Gabbay and Odinaldo Rodrigues | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1253-1277) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Logics in access control: a conditional approach
Pengarang: Valerio Genovese, Laura Giordano, Valentina Gliozzi, and Gian Luca Pozzato | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 705-762 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Simulation Modeling Handbook : A Pratical Approach
Pengarang: Chung, Christopher A | No. Panggil: R 003.3 CHU s |
Koleksi: Buku Referens  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A robust data-driven approach for gene ontology annotation
Pengarang: Yanpeng Li and Hong Yu | No. Panggil: Database (Volume 2014, p. bau113) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
BioC: a minimalist approach to interoperability for biomedical text processing
Pengarang: Donald C. Comeau, Rezarta Islamaj Doğan, Paolo Ciccarese, Kevin Bretonnel Cohen, dll | No. Panggil: Database (Volume 2013, p.bat064) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3  Next