Hasil Pencarian
	Ditemukan 36 dokumen dengan kata kunci 4586 Simpan CSV  Applying Universal Algebra to Lambda Calculus Pengarang: Giulio Manzonetto and Antonino Salibra | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 877-915 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A Nominal Axiomatization of the Lambda Calculus Pengarang: Murdoch J. Gabbay and Aad Mathijssen | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 501-531 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Nominal (Universal) Algebra: Equational Logic with Names and Binding Pengarang: Murdoch J. Gabbay and Aad Mathijssen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1455-1508 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Universal algebra for general aggregation theory: Many-valued propositional-attitude aggregators as MV-homomorphisms Pengarang: Frederik S. Herzberg | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 965-977) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Calculus Pengarang: Crowell, Benjamin | No. Panggil: ebM-0049 | Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Calculus Pengarang: Wikibooks | No. Panggil: ebM-0051 | Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Calculus Pengarang: Thomas | No. Panggil: ebM-0103 | Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Nominal Algebra and the HSP Theorem Pengarang: Murdoch J. Gabbay | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 341-367 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Beginning Calculus Pengarang: Mendelson, Elliott | No. Panggil: ebM-0056 | Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Algebra-Based College Physics: Part I Pengarang: Zurcher, Ulrich | No. Panggil: ebM-0059 | Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4  Next