| Ditemukan 27 dokumen dengan kata kunci 3704 |
Simpan CSV  |
|
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 ::
|
|
|
Towards a Definition of an Algorithm
|
| Pengarang: Noson S. Yanofsky | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p.253-286 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A novel hyperspectral segmentation algorithm—concept and evaluation
|
| Pengarang: Pawel Ksieniewicz, Dariusz Jankowski, Borja Ayerdi, Konrad Jackowski, dll | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 105-120) |
|
|
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 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 ::
|
|
|
Has the quality of working life improved in the EU-15 between 1995 and 2005?
|
| Pengarang: Nathalie Greenan, Ekaterina Kalugina, and Emmanuelle Walkowiak | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 2 April 2014, p. 399-428) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
iPathCons and iPathDB: an improved insect pathway construction tool and the database
|
| Pengarang: Zan Zhang, Chuanlin Yin, Ying Liu, Wencai Jie, dll | No. Panggil: Database (Volume 2014, p. bau105) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
|
| Pengarang: Grigoriy V. Bokov | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 341-353) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Solving a PSPACE-complete problem by gene assembly
|
| Pengarang: Thomas Zerjatke and Monika Sturm | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 897-908 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
