Ditemukan 148 dokumen dengan kata kunci 4413 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Tableaux for Public Announcement Logic
|
Pengarang: Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, and Tiago de Lima | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 55-76 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Analytic Methods for the Logic of Proofs
|
Pengarang: Marcelo Finger | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 167-188 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Algebras of Relations and Relevance Logic
|
Pengarang: Szabolcs Mikulás | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 305-321 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Updating Epistemic Logic Programs
|
Pengarang: Yan Zhang | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 405-423 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Towards modeling expressed emotions in oral history interviews: Using verbal and nonverbal signals to track personal narratives
|
Pengarang: Khiet P. Truong, Gerben J. Westerhof, Sanne M. A. Lamers, and Franciska de Jong | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 4 Desember 2014, p. 621-636) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Getting Everything You Want Out of Life Through the Power of Your Own Mind . And Let Your Thoughts Determine Your Destiny
|
|
Using synchronous tree adjoining grammar to model the typology of bound variable pronouns
|
Pengarang: Dennis Ryan Storoshenko, Chung-Hye Han | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 371-403) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hybrid Firefly Model in Routing Heterogeneous Fleet of Vehicles in Logistics Distribution
|
Pengarang: Dragan Simić, Ilija Kovačević, Vasa Svirčević, and Svetlana Simić | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 521-532) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
WholeCellSimDB: a hybrid relational/HDF database for whole-cell model predictions
|
Pengarang: Jonathan R. Karr, Nolan C. Phillips, and Markus W. Covert | No. Panggil: Database (Volume 2014, p. bau095) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
|
Pengarang: Peter Baumgartner, Ulrich Furbach, and Björn Pelzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 77-109 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|