Hasil Pencarian
Ditemukan 865 dokumen dengan kata kunci 7982 Simpan CSV Simpan CSV
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  ::
Pengaruh Pergantian Pelumas dari SAE 40 Menjadi SAE 15 W 50 Terhadap Temperatur Pada Mesin Motor Suzuki Tornado
Pengarang: Fikri Reza | No. Panggil: eSTM-2011001 |
Koleksi: e-Skripsi Teknik Mesin  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Pengaruh Putaran Kipas Kondensor Terhadap Temperatur Ruang Kabin Pada Sistem Air Conditioner Mobil
Pengarang: Denny Aprian | No. Panggil: eSTM-2010004 |
Koleksi: e-Skripsi Teknik Mesin  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Pengaruh Suhu Lingkungan Terhadap Efisiensi Turbin Unit 2 PT. Indonesia Power UPJP Kamojang
Pengarang: Wahyu Kuncoro | No. Panggil: ePM-2019005 |
Koleksi: e-Laporan PKL Mesin  :: 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  ::
A substructural logic for layered graphs
Pengarang: Matthew Collinson, Kevin McDonald, and David Pym | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 953-988) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
On a coalgebraic view on Logic
Pengarang: Dirk Hofmann and Manuel A. Martins | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1097-1106 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A Logic for prioritized normative reasoning
Pengarang: Frederik Van De Putte and Christian Straßer | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 563-583 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
The d-logic of the real line
Pengarang: Joel Gregory Lucero-Bryan | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 121-156 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Logic for coalitions with bounded resources
Pengarang: Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 907-937 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   5 6 7 8 9 10 11 12 13 14  Next