| Ditemukan 101 dokumen dengan kata kunci 4613 |
Simpan CSV  |
|
Analytic Methods for the Logic of Proofs
|
| Pengarang: Marcelo Finger | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 167-188 |
|
|
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 ::
|
|
|
Programmable Logic Controllers : Programming Methods and Applications
|
|
|
|
Detection and analysis of some redundancies in linear logic sequent proofs
|
| Pengarang: Tatjana Lutovac and James Harland | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.187-232 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Reliable Methods of Judgement Aggregation
|
| Pengarang: Stephan Hartmann, Gabriella Pigozzi, and Jan Sprenger | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 603-617 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Boundary Element Methods for Engineers : Part I
|
|
|
|
Boundary Element Methods for Engineers : Part II
|
|
|
|
Applied Numerical methods with Matlab for Engineers and Scientists
|
|
|
|
Constructive Logic with Strong Negation as a Substructural Logic
|
| Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 761-793 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Reactive standard deontic logic
|
| Pengarang: Dov M. Gabbay and Christian Straßer | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 117-157) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
