Ditemukan 29 dokumen dengan kata kunci 4671 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Qualitative Temporal and Spatial Reasoning Revisited
|
Pengarang: Manuel Bodirsky and Hubie Chen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1359-1383 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Managing the data deluge: data-driven GO category assignment improves while complexity of functional annotation increases
|
Pengarang: Julien Gobeill, Emilie Pasche, Dina Vishnyakova, and Patrick Ruch | No. Panggil: Database (Volume 2013, p.bat041) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The syntactic concept lattice: Another algebraic theory of the context-free languages?
|
Pengarang: Alexander Clark | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1203-1229) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Elementarily equivalent structures for topological languages over regions in Euclidean space
|
Pengarang: Ernest Davis | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 457-471 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Alternating-time temporal dynamic epistemic logic
|
Pengarang: Tiago de Lima | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1145-1178) |
|
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 ::
|
|
Writing out Unifiers in Linear Temporal Logic
|
Pengarang: Vladimir V. Rybakov | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1199-1206 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Monodic temporal logic with quantified propositional variables
|
Pengarang: Walter Hussak | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 517-544 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Labelled natural deduction for a bundled branching temporal logic
|
Pengarang: Andrea Masini, Luca Vigaṇ, and Marco Volpe | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1093-1163 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|