| Ditemukan 66 dokumen dengan kata kunci 4573 |
Simpan CSV  |
|
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 ::
|
|
|
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 ::
|
|
|
Construction of biological networks from unstructured information based on a semi-automated curation workflow
|
| Pengarang: Justyna Szostak, Sam Ansari, Sumit Madan, Juliane Fluck, dll | No. Panggil: Database (Volume 2015, p. bav057) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Deduction-detachment theorem in hidden k-logics
|
| Pengarang: Sergey Babenyshev and Manuel A. Martins | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.233-255 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Towards a Definition of an Algorithm
|
| Pengarang: Noson S. Yanofsky | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p.253-286 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Towards Excellence...How To Study
|
|
|
|
Labelled natural deduction for a bundled branching temporal logic
|
| Pengarang: Andrea Masini, Luca Viganò, and Marco Volpe | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1093-1163 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Deduction Systems for Coalgebras Over Measurable Spaces
|
| Pengarang: Robert Goldblatt | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1069-1100 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Initial semantics in logics with constructors
|
| Pengarang: Daniel Găină and Kokichi Futatsugi | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 95-116) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Formal semantics for perceptual classification
|
| Pengarang: Staffan Larsson | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 335-369) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
