Ditemukan 75 dokumen dengan kata kunci 4633 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A Logical and Computational Theory of Located Resource
|
Pengarang: Matthew Collinson, Brian Monahan, and David Pym | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1207-1244 |
|
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 ::
|
|
On Computational Complexity of Semilinear Varieties
|
Pengarang: Enrico Marchioni | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 941-958 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Python Scripting for Computational Science
|
|
Probabilistic logics for objects located in space and time
|
Pengarang: Dragan Doder, John Grant, and Zoran Ognjanović | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 487-515 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A logical basis for constructive systems
|
Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
‘The Sounds of the Psalter: Computational Analysis of Soundplay’
|
Pengarang: Drayton C. Benner | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 3 September 2014, p. 361-378) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On logical specifications of the Argument Interchange Format
|
Pengarang: Floris Bex, Sanjay Modgil, Henry Prakken, and Chris Reed | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 951-989 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logical Weak Completions of Paraconsistent Logics
|
Pengarang: Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 913-940 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Advanced Calculus : Theory and Problems
|
|