| Ditemukan 76 dokumen dengan kata kunci 4362 |
Simpan CSV  |
|
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 ::
|
|
|
Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: an Adaptive Logic Approach
|
| Pengarang: Christian Straßer and Dunja Šešelja | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 133-156 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
An Introduction to Polymer-matrix Composites
|
|
|
|
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 ::
|
|
|
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 ::
|
|
|
A plea for the majority method in aggregating judgements
|
| Pengarang: Juan Carlos García-Bermejo | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1279-1299 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Tractable and intractable classes of propositional schemata
|
| Pengarang: Nicolas Peltier | No. Panggil: Journal of Logic and Computation (October 2014; 24 (5), p. 1111-1139) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Differential and integral calculus for logical operations. A matrix–vector approach
|
| Pengarang: Eduardo Mizraji | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (613-638) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
FHC: an adaptive fast hybrid method for k-NN classification
|
| Pengarang: Stefanos Ougiaroglou, Georgios Evangelidis, and Dimitris A. Dervos | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 431-450) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Solvability of the integrodifferential equation of Eshelby's equivalent inclusion method
|
| Pengarang: D. Gintides and K. Kiriaki | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 1 February 2015, p. 85-96) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
