| Ditemukan 38 dokumen dengan kata kunci 4474 |
Simpan CSV  |
|
Low linear orderings
|
| Pengarang: Andrey N. Frolov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 745-754 |
|
|
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 ::
|
|
|
Aljabar Linear
|
|
|
|
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 ::
|
|
|
Aljabar Linear : Dasar Ekonometri
|
|
|
|
Linear Types and Locality
|
| Pengarang: Paolo Torrini | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 655-685 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Aljabar Linear Dasar
|
|
|
|
PERSAMAAN DAN PERTIDAKSAMAAN LINEAR
|
|
|
|
Embedding countable partial orderings in the enumeration degrees and the ω-enumeration degrees
|
| Pengarang: Mariya I. Soskova and Ivan N. Soskov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 927-952 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Aljabar Linear Elementer Jilid 1
|
|
|
Hasil Pencarian
