| Ditemukan 29 dokumen dengan kata kunci 4671 |
Simpan CSV  |
|
Fixpoint and While Temporal Query Languages
|
| Pengarang: Nicole Bidoit and Matthieu Objois | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 369-404 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
SQL Server 2008 Query Performance Tuning Distilled
|
|
|
|
Temporal Logics of Repeating Values
|
| Pengarang: Stéphane Demri, Deepak D’Souza, and Régis Gascon | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1059-1096 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Temporal Assertions with Parametrized Propositions
|
| Pengarang: Volker Stolz | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 743-757 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Document dissimilarity within and across languages: A benchmarking study
|
| Pengarang: Richard S. Forsyth and Serge Sharoff | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 1 April 2015, p. 6-22) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The expressive power of first-order topological languages
|
| Pengarang: Ernest Davis | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1107-1141 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Notions of Bisimulation for Heyting-Valued Modal Languages
|
| Pengarang: Pantelis E. Eleftheriou, Costas D. Koutras, and Christos Nomikos | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 213-235 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
‘What’s in the NIDDK CDR?’—public query tools for the NIDDK central data repository
|
| Pengarang: Huaqin Pan, Mary-Anne Ardini, Vesselina Bakalov, Michael DeLatte, dll | No. Panggil: Database (Volume 2013, p.bas058) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A tableau for general linear temporal logic
|
| Pengarang: Mark Alexander Reynolds | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1057-1080 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Labelled Tableaux for Distributed Temporal Logic
|
| Pengarang: David Basin, Carlos Caleiro, Jaime Ramos, and Luca Viganò | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1245-1279 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
