Ditemukan 135 dokumen dengan kata kunci 4517 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Aljabar Linear Dasar
|
|
Aljabar Linear Elementer Jilid 1
|
|
Qualitative Temporal and Spatial Reasoning Revisited
|
Pengarang: Manuel Bodirsky and Hubie Chen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1359-1383 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Fixpoint and While Temporal Query Languages
|
Pengarang: Nicole Bidoit and Matthieu Objois | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 369-404 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Aljabar Linear Dasar (Edisi Kedua)
|
|
An Ebola virus-centered knowledge base
|
Pengarang: Maulik R. Kamdar and Michel Dumontier | No. Panggil: Database (Volume 2015, p. bav049) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Groups: knowledge spreadsheets for symbolic biocomputing
|
Pengarang: Michael Travers, Suzanne M. Paley, Jeff Shrager, Timothy A. Holland, dll | No. Panggil: Database (Volume 2013, p.bat061) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
What is a model for a semantically linear λ-calculus?
|
Pengarang: Marco Gaboardi and Mauro Piccolo | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 557-589 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Prefix probabilities for linear context-free rewriting systems
|
Pengarang: Mark-Jan Nederhof and Giorgio Satta | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 331-350 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Strong normalization in some temporal substructural logics
|
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 1-24 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|