| Ditemukan 52 dokumen dengan kata kunci 3610 |
Simpan CSV  |
|
Phenol-Explorer 3.0: a major update of the Phenol-Explorer database to incorporate data on the effects of food processing on polyphenol content
|
| Pengarang: Joseph A. Rothwell, Jara Perez-Jimenez, Vanessa Neveu, Alexander Medina-Remón, dll | No. Panggil: Database (Volume 2013, p.bat070) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
TIMBAL v2: update of a database holding small molecules modulating protein–protein interactions
|
| Pengarang: Alicia P. Higueruelo, Harry Jubb, and Tom L. Blundell | No. Panggil: Database (Volume 2013, p.bat039) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
|
| Pengarang: Liesbeth De Mol, Martin Carlé, Maarten Bullynck | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1011-1046) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logics Modulo Theories: a logical framework for multi-agent systems
|
| Pengarang: Lito Perez Cruz and John Newsome Crossley | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 553-583) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Restricted normal modal logics and levelled possible worlds semantics
|
| Pengarang: Juan C. Agudelo-Agudelo and Manuel H. Sierra-Aristizábal | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 687-704 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
|
| Pengarang: Mario R. F. Benevides and L. Menasché Schechter | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 919-951) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains
|
| Pengarang: Dmitrij Skvortsov | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 697-713 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
|
| Pengarang: Hitoshi Kihara and Hiroakira Ono | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 823-875 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
|
| Pengarang: Franco Montagna and Carles Noguera | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 399-424 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
|
| Pengarang: Félix Bou, Francesc Esteva, Josep Maria Font, Ŕngel J. Gil, dll | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1031-1069 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
