| Ditemukan 49 dokumen dengan kata kunci 4320 |
Simpan CSV  |
|
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 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 ::
|
|
|
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 ::
|
|
|
Negotiated expertise in policy-making: How governments use hybrid advisory committees
|
| Pengarang: Eva Krick | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 487-500) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
An improved hybrid algorithm for capacitated fixed-charge transportation problem
|
| Pengarang: Camelia-M. Pintea and Petrică C. Pop | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 369-378) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Hybrid Modelling of Multilayer Perceptron Ensembles for Predicting the Response of Bolted Lap Joints
|
| Pengarang: Julio Fernandez-Ceniceros, Fernando Antonanzas-Torres, FCO. Javier Martinez-De-Pison, and Andres Sanz-Garcia | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 451-462) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Hybrid Firefly Model in Routing Heterogeneous Fleet of Vehicles in Logistics Distribution
|
| Pengarang: Dragan Simić, Ilija Kovačević, Vasa Svirčević, and Svetlana Simić | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 521-532) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
