Ditemukan 184 dokumen dengan kata kunci 4554 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Calculus
|
|
Calculus
|
|
Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic
|
Pengarang: Andreas Witzel | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 405-416 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Preference-based argumentation built from prioritized logic programming
|
Pengarang: Toshiko Wakaki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 251-301) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
From mathematical logic to programming-language semantics: a discussion with Tony Hoare
|
Pengarang: Edgar G. Daylight | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1091-1110) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Codd's Relational Model from the Point of View of Fuzzy Logic
|
Pengarang: Radim Belohlavek and Vilem Vychodil | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 851-862 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Beginning Calculus
|
|
Embedding the hypersequent calculus in the display calculus
|
Pengarang: Revantha Ramanayake | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 921-942) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logics for some dynamic spaces-I
|
Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 827-856) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Three Scenarios for the Revision of Epistemic States
|
Pengarang: Didier Dubois | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 721-738 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|