Hasil Pencarian
	Ditemukan 61 dokumen dengan kata kunci 4340 Simpan CSV  What is a model for a semantically linear λ-calculus? Pengarang: Marco Gaboardi and Mauro Piccolo | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 557-589 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Semantically closed intuitionistic abstract logics Pengarang: Steffen Lewitzka | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p 351-374 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Aljabar Linear Pengarang: Lipschutz, Seymour | No. Panggil: 512.5 LIP t | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: What Ever Happened to Project Bamboo? Pengarang: Quinn Dombrowski | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 3 September 2014, p. 326-339) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Aljabar Linear : Dasar Ekonometri Pengarang: Sofjan Assauri | No. Panggil: 330.154 3 SOF a | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Linear Types and Locality Pengarang: Paolo Torrini | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 655-685 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Low linear orderings Pengarang: Andrey N. Frolov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 745-754 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Aljabar Linear Dasar Pengarang: Mahmud Imrona | No. Panggil: 512.5 MAH a | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Aljabar Linear Elementer Jilid 1 No. Panggil: 512.5 ANT a | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A tableau for general linear temporal logic Pengarang: Mark Alexander Reynolds | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1057-1080 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7  Next