| Ditemukan 31 dokumen dengan kata kunci 4679 |
Simpan CSV  |
|
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 ::
|
|
|
Singleton enumeration reducibility and arithmetic
|
| Pengarang: Daniele Marsibilio and Andrea Sorbi | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1267-1292 |
|
|
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 ::
|
|
|
Semantically closed intuitionistic abstract logics
|
| Pengarang: Steffen Lewitzka | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p 351-374 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Topological Study of the Closed Fragment of GLP
|
| Pengarang: Thomas Icard | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 683-696 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
K-Triviality of Closed Sets and Continuous Functions
|
| Pengarang: George Barmpalias, Douglas Cenzer, Jeffrey B. Remmel, and Rebecca Weber | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 3-16 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The Management of Manufacturing : Models and Analysis
|
|
|
|
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 ::
|
|
|
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 ::
|
|
|
Probabilistic models for intuitionistic predicate logic
|
| Pengarang: George Georgescu | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1165-1176 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
