Hasil Pencarian
	Ditemukan 184 dokumen dengan kata kunci 4554 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  :: Algebras of Relations and Relevance Logic Pengarang: Szabolcs Mikulás | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 305-321 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Analisa dan Simulasi Server DHCP (Dynamic Host Configuration Protocol) Jaringan Virtual Pada kantor Televisi Republik Indonesia (TVRI) Bagian IT Pengarang: Syarifuddin | No. Panggil: ePKL-2017045 | Koleksi: e-Laporan PKL Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: From Design to Implementation: The Interpretation of Fact-finding Mandates Pengarang: Rob Grace | No. Panggil: Journal of Conflict and Security Law (Volume 20 Issue 1 Spring 2015, p. 27-60) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: PCorral—interactive mining of protein interactions from MEDLINE Pengarang: Chen Li, Antonio Jimeno-Yepes, Miguel Arregui, Harald Kirsch, dll | No. Panggil: Database (Volume 2013, p.bat030) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Optimal decompositions of matrices with entries from residuated lattices Pengarang: Radim Belohlavek | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1405-1425 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: From (Quantified) Boolean Formulae to Answer Set Programming Pengarang: Igor Stéphan, Benoit Da Mota, and Pascal Nicolas | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 565-590 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: From Chaos to Consciousness : A Brief History of the Universe Pengarang: Corwin, Mike | No. Panggil: ebM-0099 | Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Rotating Machinery Vibration : From Analysis to Troubleshooting Pengarang: Adams, Maurice L | No. Panggil: 621.811 ADA r | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Trilattice logic: an embedding-based approach Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (581-611) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   2 3 4 5 6 7 8 9 10 11  Next