| Ditemukan 63 dokumen dengan kata kunci 3698 |
Simpan CSV  |
|
On structural completeness versus almost structural completeness problem: A discriminator varieties case study
|
| Pengarang: Miguel Campercholi, Michał M. Stronkowski, and Diego Vaggione | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 235-246) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Completeness by Forcing
|
| Pengarang: Daniel Găină and Marius Petria | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1165-1186 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
DoSA: Database of Structural Alignments
|
| Pengarang: Swapnil Mahajan, Garima Agarwal, Mohammed Iftekhar, Bernard Offmann, dll | No. Panggil: Database (Volume 2013, p.bat048) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Arithmetical Completeness of the Intuitionistic Logic of Proofs
|
| Pengarang: Evgenij Dashkov | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 665-682 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
SInCRe—structural interactome computational resource for Mycobacterium tuberculosis
|
| Pengarang: Rahul Metri, Sridhar Hariharaputran, Gayatri Ramakrishnan, Praveen Anand, dll | No. Panggil: Database (Volume 2015, p. bav060) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
CREDO: a structural interactomics database for drug discovery
|
| Pengarang: Adrian M. Schreyer and Tom L. Blundell | No. Panggil: Database (Volume 2013, p.bat049) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Learning structural dependencies of words in the Zipfian Tail
|
| Pengarang: Tejaswini Deoskar, Markos Mylonakis, and Khalil Sima’an | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 433-453 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Completeness and decidability results for a logic of contrary-to-duty conditionals
|
| Pengarang: José M. C. L. M. Carmo and Andrew J. I. Jones | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 585-626 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
SUS-BAR: a database of pig proteins with statistically validated structural and functional annotation
|
| Pengarang: Damiano Piovesan, Giuseppe Profiti, Pier Luigi Martelli, Piero Fariselli, dll | No. Panggil: Database (Volume 2013, p.bat065) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Structural Description of a Class of Involutive Uninorms via Skew Symmetrization
|
| Pengarang: Sándor Jenei | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 729-737 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
