Hasil Pencarian
	Ditemukan 103 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 Pengarang: Hackworth, John R. | No. Panggil: ebTI - 00178 | Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  :: 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 Pengarang: Fenner, Roger | No. Panggil: ebM-0066 | Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Boundary Element Methods for Engineers : Part II Pengarang: Fenner, Roger | No. Panggil: ebM-0067 | Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Applied Numerical methods with Matlab for Engineers and Scientists Pengarang: Chapra, Steven | No. Panggil: 629.831 2 CHA a | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: SISTEM PENDUKUNG KEPUTUSAN UNTUK MENENTUKAN PEMBELIAN TIKET BUS MENGGUNAKAN METODE ANALYTIC HIERARCHY PROCESS (AHP) Pengarang: Muchammad Arfian Az-Zuhdi | No. Panggil: eSTI - 2024159 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: 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  :: Prev   1 2 3 4 5 6 7 8 9 10  Next