| Ditemukan 61 dokumen dengan kata kunci 4641 |
Simpan CSV  |
|
TCTL Model Checking of Time Petri Nets
|
| Pengarang: Hanifa Boucheneb, Guillaume Gardey, and Olivier H. Roux | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1509-1540 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Model Checking Using Description Logic
|
| Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Verifying social expectations by model checking truncated paths
|
| Pengarang: Stephen Cranefield and Michael Winikoff | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1217-1256 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Parallel SAT Solving in Bounded Model Checking
|
| Pengarang: Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, dll | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 5-21 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Intuitionistic Dual-intuitionistic Nets
|
| Pengarang: Olivier Laurent | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 561-587 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Charlie Bone and The Time Twister
|
|
|
|
From Deep Inference to Proof Nets via Cut Elimination
|
| Pengarang: Lutz Strassburger | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 589-624 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
FarsiSpell: A spell-checking system for Persian using a large monolingual corpus
|
| Pengarang: Tayebeh Mosavi Miangah | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 1 April 2015, p. 56-73) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Alternating-time temporal dynamic epistemic logic
|
| Pengarang: Tiago de Lima | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1145-1178) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
Hasil Pencarian
