Hasil Pencarian
Ditemukan
69
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
::
PERSAMAAN DAN PERTIDAKSAMAAN LINEAR
Pengarang: Ati Sukmawati | No. Panggil: 512.5 ATI p |
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
::
Prev 1
2
3
4
5
6
7
Next