| Ditemukan 15 dokumen dengan kata kunci 4492 |
Simpan CSV  |
|
Separating bounded arithmetical theories by Herbrand consistency
|
| Pengarang: Saeed Salehi | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 545-560 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Arc consistency and friends
|
| Pengarang: Hubie Chen, Victor Dalmau, and Berit Grußien | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 87-108 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Residuated Park theories
|
| Pengarang: Z. Ésik | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p.
(453-471) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logic for coalitions with bounded resources
|
| Pengarang: Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 907-937 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Arithmetical Completeness of the Intuitionistic Logic of Proofs
|
| Pengarang: Evgenij Dashkov | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 665-682 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logical consistency in simultaneous statistical test procedures
|
| Pengarang: Rafael Izbicki and Luís Gustavo Esteves | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 732-758) |
|
|
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 ::
|
|
|
Parallel SAT Solving in Bounded Model Checking
|
| Pengarang: Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, dll | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 5-21 |
|
|
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 ::
|
|
|
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
