| Ditemukan 43 dokumen dengan kata kunci 3707 |
Simpan CSV  |
|
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 ::
|
|
|
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 ::
|
|
|
Prompt enumerations and relative randomness
|
| Pengarang: Anthony Morphett | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 877-897 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
|
| Pengarang: Matthias Knorr, Martin Slota, João Leite, and Martin Homola | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1279-1311) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
(Hybrid) automata and (stochastic) programs The hybrid automata lattice of a stochastic program
|
| Pengarang: Luca Bortolussi and Alberto Policriti | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 761-798 |
|
|
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 small model theorem for the hybrid μ-calculus
|
| Pengarang: Kuniaki Tamura | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (405-441) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
FHC: an adaptive fast hybrid method for k-NN classification
|
| Pengarang: Stefanos Ougiaroglou, Georgios Evangelidis, and Dimitris A. Dervos | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 431-450) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Hybrid Functional Interpretations of Linear and Intuitionistic Logic
|
| Pengarang: Paulo Oliva | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 305-328 |
|
|
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 ::
|
|
Hasil Pencarian
