Ditemukan 64 dokumen dengan kata kunci 4702 |
Simpan CSV ![Simpan CSV](icons/save.png) |
On structural completeness versus almost structural completeness problem: A discriminator varieties case study
|
Pengarang: Miguel Campercholi, Michał M. Stronkowski, and Diego Vaggione | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 235-246) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A general concept for consistent documentation of computational analyses
|
Pengarang: Peter Ebert, Fabian Müller, Karl Nordström, Thomas Lengauer, and Marcel H. Schulz | No. Panggil: Database (Volume 2015, p. bav050) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A general framework for product representations: bilattices and beyond
|
Pengarang: L. M. CABRER and H. A. PRIESTLEY | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 816-841) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modal Operators over Constructive Logic
|
Pengarang: Evgeny Yu. Sherkhonov | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 815-829 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Jutawan Modal Online dengan Google AdSense
|
|
Visibility and meaning in topic models and 18th-century subject indexes
|
Pengarang: Jeffrey M. Binder and Collin Jennings | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 3 September 2014, p. 405-411) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Cognitive models of discourse comprehension for narrative generation
|
Pengarang: James Niehaus and R. Michael Young | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 4 Desember 2014, p. 561-582) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On constructive models of theories with linear Rudin-Keisler ordering
|
Pengarang: Alexander Gavryushkin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 793-805 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Existentially Closed Models and Conservation Results in Bounded Arithmetic
|
Pengarang: A. Cordón-Franco, A. Fernández-Margarit, and F. F. Lara-Martín | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 123-143 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic
|
Pengarang: Arnon Avron | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 813-821 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|