| Ditemukan 29 dokumen dengan kata kunci 4671 |
Simpan CSV  |
|
Linear Temporal Logic LTL: Basis for Admissible Rules
|
| Pengarang: Sergey Babenyshev and Vladimir Rybakov | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 157-177 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
HTS-DB: an online resource to publish and query data from functional genomics high-throughput siRNA screening projects
|
| Pengarang: Rebecca E. Saunders, Rachael Instrell, Rossella Rispoli, Ming Jiang, dll | No. Panggil: Database (Volume 2013, p.bat072) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic
|
| Pengarang: Andreas Witzel | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 405-416 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On a hierarchy of 5′ → 3′ sensing Watson–Crick finite automata languages
|
| Pengarang: Benedek Nagy | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 855-872 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Knowledge-rich temporal relation identification and classification in clinical notes
|
|
|
|
On the Priorean temporal logic with ‘around now’ over the real line
|
| Pengarang: Ian Hodkinson | No. Panggil: Journal of Logic and Computation (October 2014; 24 (5), p. 1071-1110) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
|
| Pengarang: Cătălin Dima | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 939-958 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification
|
| Pengarang: V. Rybakov | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 509-519 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Linear Temporal Logic ℒ𝒯ℒK extended by Multi-Agent Logic Kn with Interacting Agents
|
| Pengarang: Vladimir Rybakov | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 989-1017 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
