Hasil Pencarian
Ditemukan
13
dokumen dengan kata kunci
3717
Simpan CSV
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
::
State smearing theorems and the existence of states on some atomic lattice effect algebras
Pengarang: Zdenka Riečanová and Jan Paseka | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 863-882 |
Koleksi: e-Article Oxford Journal ::
Cari yang mirip
::
Tambahkan ke Favorit
::
Schumpeterian, Keynesian, and Endowment efficiency: some evidence on the export behavior of Argentinian manufacturing firms
Pengarang: Florencia Barletta, Mariano Pereira, and Gabriel Yoguel | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 3 June 2014, p. 797-826) |
Koleksi: e-Article Oxford Journal ::
Cari yang mirip
::
Tambahkan ke Favorit
::
Prev
1
2 Next