Ditemukan 148 dokumen dengan kata kunci 4413 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Model-theoretic properties of the n-c.e. degrees
|
Pengarang: Marat M. Arslanov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 669-677 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Preservation by fibring of the finite model property
|
Pengarang: M. E. Coniglio, A. Sernadas, and C. Sernadas | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 375-402 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The Confidence Information Ontology: a step towards a standard for asserting confidence in annotations
|
Pengarang: Frederic B. Bastian, Marcus C. Chibucos, Pascale Gaudet, Michelle Giglio, dll | No. Panggil: Database (Volume 2015, p. bav043) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Towards a uniform presentation of logical systems by indexed categories and adjoint situations
|
Pengarang: U. Wolter, A. Martini, and E. H. Häusler | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 57-93) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Information About a Given Entity: From Semantics Towards Automated Deduction
|
Pengarang: Robert Demolombe and Luis Fariņas del Cerro | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1231-1250 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
|
Pengarang: Phan Minh Thang, Phan Minh Dung, and Nguyen Duy Hung | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1071-1109 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Gsm Gprs And Edge Performance Evolution Towards 3G Umts Ebook-Kb
|
|
Radioprotector WR-2721 and mitigating peptidoglycan synergistically promote mouse survival through the amelioration of intestinal and bone marrow damage
|
Pengarang: Wei Liu, Qiu Chen, Shu Wu, Xiaochun Xia, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 2 March 2015, p. 278-286) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Editor's choice: Local cluster symmetry of a highly ordered quasicrystalline Al58Cu26Ir16 extracted through multivariate analysis of STEM images
|
Pengarang: Takehito Seki and Eiji Abe | No. Panggil: Microscopy (Volume 64 Issue 5 Oktober 2015, p. 341-349) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A small model theorem for the hybrid μ-calculus
|
Pengarang: Kuniaki Tamura | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (405-441) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|