| Ditemukan 19 dokumen dengan kata kunci 4496 |
Simpan CSV  |
|
Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction
|
| Pengarang: Manuel Bodirsky, Peter Jonsson, and Timo von Oertzen | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 643-660 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
|
| Pengarang: André Platzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 309-352 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Algorithmic reducibilities of algebraic structures
|
| Pengarang: Iskander Kalimullin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 831-843 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Generalized constraint diagrams and the classical decision problem
|
| Pengarang: Jim Burton, Gem Stapleton, and John Howse | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 199-262 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
|
| Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1019-1029 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Cyclic Involutive Distributive Full Lambek Calculus is Decidable
|
| Pengarang: Michał Kozak | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p.231-252 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Expressing versus Proving: Relating Forms of Complexity in Logic
|
| Pengarang: Antonina Kolokolova | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 267-280 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The syntactic concept lattice: Another algebraic theory of the context-free languages?
|
| Pengarang: Alexander Clark | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1203-1229) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
BC4GO: a full-text corpus for the BioCreative IV GO task
|
| Pengarang: Kimberly Van Auken, Mary L. Schaeffer, Peter McQuilton, Stanley J. F. Laulederkind, dll | No. Panggil: Database (Volume 2014, p. bau074) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Digital Photography Basic : Taking The First Step Off Full Auto
|
|
|
Hasil Pencarian
