| Ditemukan 48 dokumen dengan kata kunci 4361 |
Simpan CSV  |
|
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 ::
|
|
|
Charlie Bone and The Hidden King
|
|
|
|
Nominal Algebra and the HSP Theorem
|
| Pengarang: Murdoch J. Gabbay | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 341-367 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Uncovering hidden duplicated content in public transcriptomics data
|
| Pengarang: Marta Rosikiewicz, Aurélie Comte, Anne Niknejad, Marc Robinson-Rechavi, dll | No. Panggil: Database (Volume 2013, p.bat010) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Jump Inversion Theorem for the Degree Spectra
|
| Pengarang: Alexandra A. Soskova and Ivan N. Soskov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 199-215 |
|
|
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 ::
|
|
|
Reduction of provability logics to Σ1-provability logics
|
| Pengarang: Mohammad Ardeshir and S. Mojtaba Mojtahedi | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 842-847) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Stone–Weierstrass theorem for MV-algebras and unital ℓ-groups
|
| Pengarang: Leonardo Manuel Cabrer,Daniele Mundici | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 683-699) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Can We Make the Second Incompleteness Theorem Coordinate Free?
|
| Pengarang: Albert Visser | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 543-560 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic
|
| Pengarang: Matthias Baaz and George Metcalfe | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 35-54 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
