Ditemukan 142 dokumen dengan kata kunci 4619 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Rank-1 Modal Logics are Coalgebraic
|
Pengarang: Lutz Schröder and Dirk Pattinson | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1113-1147 |
|
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 ::
|
|
Solvability of the integrodifferential equation of Eshelby's equivalent inclusion method
|
Pengarang: D. Gintides and K. Kiriaki | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 1 February 2015, p. 85-96) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Proof Complexity of the Cut-free Calculus of Structures
|
Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 323-339 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Arguments as a new perspective on character motive in stories
|
Pengarang: Floris Bex, Katie Atkinson, and Trevor Bench-Capon | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 4 Desember 2014, p. 467-487) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Plant rDNA database: update and new features
|
Pengarang: Sònia Garcia, Francisco Gálvez, Airy Gras, Aleš Kovařík, dll | No. Panggil: Database (Volume 2014, p.bau063) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Two new homomorphism dualities and lattice operations
|
Pengarang: Catarina Carvalho, Víctor Dalmau, and Andrei Krokhin | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1065-1092 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On guarded transformation in the modal μ-calculus
|
Pengarang: Florian Bruse, Oliver Friedmann, and Martin Lange | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 194-216) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Jutawan Modal Online dengan Google AdSense
|
|
Assessing the inter-method reliability and correlational validity of the Body Type Dictionary
|
Pengarang: Laura A. Cariola | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 2 June 2014, p. 171-190) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|