| Ditemukan 62 dokumen dengan kata kunci 4684 |
Simpan CSV  |
|
Model-theory and implementation of property grammars with features
|
| Pengarang: Denys Duchier, Thi-Bich-Hanh Dao, and Yannick Parmentier | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 491-509 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Introduction to FACTS Controllers : Theory, Modeling, and Applications
|
|
|
|
Theory and Applications of OFDM and CDMA Wideband Wireless Communications
|
|
|
|
Freely floating structures trapping time-harmonic water waves
|
| Pengarang: Nikolay Kuznetsov and Oleg Motygin | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 2 May 2015, p. 173-193) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
ParaPep: a web resource for experimentally validated antiparasitic peptide sequences and their structures
|
| Pengarang: Divya Mehta, Priya Anand, Vineet Kumar, Anshika Joshi, dll | No. Panggil: Database (Volume 2014, p. bau051) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
CrossTope: a curate repository of 3D structures of immunogenic peptide: MHC complexes
|
| Pengarang: Marialva Sinigaglia, Dinler Amaral Antunes, Maurício Menegatti Rigo, José Artur Bogo Chies, dll | No. Panggil: Database (Volume 2013, p.bat002) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Elementarily equivalent structures for topological languages over regions in Euclidean space
|
| Pengarang: Ernest Davis | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 457-471 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The syntactic concept lattice: Another algebraic theory of the context-free languages?
|
| Pengarang: Alexander Clark | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1203-1229) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Negobot: Detecting paedophile activity with a conversational agent based on game theory
|
| Pengarang: Carlos Laorden, Patxi Galán-García, Igor Santos, Borja Sanz, dll | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 17-30) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Completeness and Cut-elimination in the Intuitionistic Theory of Types—Part 2
|
| Pengarang: Olivier Hermant and James Lipton | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 597-602 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
