Hasil Pencarian
	Ditemukan 47 dokumen dengan kata kunci 3701 Simpan CSV  Modelling and Analysis of Manufacturing Systems Pengarang: Askin, Ronald G. | No. Panggil: 620.1 ASK m | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A logical basis for constructive systems Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Elektronic communication systems Pengarang: Kennedy, George | No. Panggil: 621.382 KEN e | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions Pengarang: Gemma Robles and José M. Méndez | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 174-193) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Dynamic specification of open agent systems Pengarang: Alexander Artikis | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1301-1334 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Basic Hydraulic Systems and Components : Edtion A No. Panggil: eTM-00105 | Koleksi: e-Book TM  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Blending margins: the modal logic K has nullary unification type Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p.1231-1240) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Assessing the inter-method reliability and correlational validity of the Body Type Dictionary Pengarang: Laura A. Cariola | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 2 June 2014, p. 171-190) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations Pengarang: Paul E. Oppenheimer and Edward N. Zalta | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 351-374 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Recent complexity-theoretic results on P systems with active membranes Pengarang: Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1047- 1071) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5  Next