| Ditemukan 61 dokumen dengan kata kunci 3601 |
Simpan CSV  |
|
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
|
| Pengarang: Arnold Beckmann, Norbert Preining | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p.
(527-547) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Paramodulation with Well-founded Orderings
|
| Pengarang: Miquel Bofill and Albert Rubio | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 263-302 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Preserving mappings in fuzzy predicate logics
|
| Pengarang: Pilar Dellunde | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1367-1389 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Tableaux for Logics of Subinterval Structures over Dense Orderings
|
| Pengarang: Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 133-166 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains
|
| Pengarang: Dmitrij Skvortsov | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 697-713 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
|
| Pengarang: Franco Montagna and Carles Noguera | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 399-424 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Synthesizing Monadic Predicates
|
| Pengarang: Carlo Meghini and Nicolas Spyratos | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 831-847 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Intermediate Maths for Chemists
|
|
|
|
Probabilistic models for intuitionistic predicate logic
|
| Pengarang: George Georgescu | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1165-1176 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Separating bounded arithmetical theories by Herbrand consistency
|
| Pengarang: Saeed Salehi | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 545-560 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
