| Ditemukan 107 dokumen dengan kata kunci 4640 |
Simpan CSV  |
|
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 ::
|
|
|
Quantifiers in logic and proof-search using permissive-nominal terms and sets
|
| Pengarang: Murdoch J. Gabbay, Claus-Peter Wirth | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (473-523) |
|
|
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 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 ::
|
|
|
Geographic visualization of place names in Swedish literary texts
|
| Pengarang: Lars Borin, Dana Dannélls, and Leif-Jöran Olsson | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 3 September 2014, p. 400-404) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
Gene Ontology annotation of sequence-specific DNA binding transcription factors: setting the stage for a large-scale curation effort
|
| Pengarang: Sushil Tripathi, Karen R. Christie, Rama Balakrishnan, Rachael Huntley, dll | No. Panggil: Database (Volume 2013, p.bat062) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification
|
| Pengarang: V. Rybakov | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 509-519 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Perancangan sistem informasi persediaan barang pada PT UNIVERSAL INK
|
|
|
|
Finding needles in haystacks: linking scientific names, reference specimens and molecular data for Fungi
|
| Pengarang: Conrad L. Schoch, Barbara Robbertse, Vincent Robert, Duong Vu, dll | No. Panggil: Database (Volume 2014, p. bau061) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
