Ditemukan 50 dokumen dengan kata kunci 4412 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A Logic for prioritized normative reasoning
|
Pengarang: Frederik Van De Putte and Christian Straßer | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 563-583 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logics for some dynamic spaces-I
|
Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 827-856) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
PolyprOnline: polyproline helix II and secondary structure assignment database
|
Pengarang: Romain Chebrek, Sylvain Leonard, Alexandre G. de Brevern, and Jean-Christophe Gelly | No. Panggil: Database (Volume 2014, p. bau102) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logics for some dynamic spaces-II
|
Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 857-878) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Multimedia Interpretation for Dynamic Ontology Evolution
|
Pengarang: Silvana Castano, Irma Sofia Espinosa Peraldi, Alfio Ferrara, Vangelis Karkaletsis,dll | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 859-897 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On Dynamic Topological Logic of the Real Line
|
Pengarang: Maria Nogin and Aleksey Nogin | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 1029-1045 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Interaction-based Runtime Verification for Systems of Systems Integration
|
Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modelling and Analysis of Manufacturing Systems
|
|
A logical basis for constructive systems
|
Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Elektronic communication systems
|
|