Ditemukan 39 dokumen dengan kata kunci 4283 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Classes of structures with universe a subset of ω1
|
Pengarang: Ekaterina Fokina, Sy-David Friedman, Julia Knight, and Russell Miller | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1249-1265 |
|
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 ::
|
|
Proof Complexity of the Cut-free Calculus of Structures
|
Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 323-339 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Undecidability in Some Structures Related to Computation Theory
|
Pengarang: Victor L. Selivanov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 177-197 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Data Structures & Algorithms in Java [Second Edition]
|
|
‘What’s in the NIDDK CDR?’—public query tools for the NIDDK central data repository
|
Pengarang: Huaqin Pan, Mary-Anne Ardini, Vesselina Bakalov, Michael DeLatte, dll | No. Panggil: Database (Volume 2013, p.bas058) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Mudah membuat game dan potensi finansialnya dengan unity 3D
|
|
Perancangan Prototype 3D Printing Menggunakan Conveyor Belt
|
|
Perancangan fisualisasi sebagai media informasi berbasis 3D
|
|
Perancangan Visualisasi Sebagai Media Informasi Berbasis 3D
|
|