| Ditemukan 26 dokumen dengan kata kunci 4426 |
Simpan CSV  |
|
Generalized constraint diagrams and the classical decision problem
|
| Pengarang: Jim Burton, Gem Stapleton, and John Howse | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 199-262 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Rank Hierarchies for Generalized Quantifiers
|
| Pengarang: H. Jerome Keisler and Wafik Boulos Lotfallah | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 287-306 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Practical Amplifier Diagrams
|
|
|
|
Some non-classical approaches to the Brandenburger–Keisler paradox
|
| Pengarang: Can Başkent | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 533-552) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A proof-theoretic analysis of the classical propositional matrix method
|
| Pengarang: David Pym, Eike Ritter, and Edmund Robinson | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.283-301 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Budgeting and Decision Making Exercises I
|
|
|
|
Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction
|
| Pengarang: Manuel Bodirsky, Peter Jonsson, and Timo von Oertzen | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 643-660 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
|
| Pengarang: Arnon Avron, Beata Konikowska, and Anna Zamansky | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 517-540 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Budgeting and Decision Making Exercises II
|
|
|
|
Budgeting and Decision Making Exercises III
|
|
|