Hasil Pencarian
Ditemukan 39 dokumen dengan kata kunci 4283 Simpan CSV Simpan CSV
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]
Pengarang: Lafore, Robert | No. Panggil: ebTI - 00194 |
Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
‘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
Pengarang: Baskara Arya Pranata | No. Panggil: 005.5 BAS m |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Perancangan Prototype 3D Printing Menggunakan Conveyor Belt
Pengarang: Muhamad Yusup | No. Panggil: eSTM-2021025 |
Koleksi: e-Skripsi Teknik Mesin  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Perancangan fisualisasi sebagai media informasi berbasis 3D
Pengarang: Muhamad Rizki Zaelani | No. Panggil: eSTI-2015047 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Perancangan Visualisasi Sebagai Media Informasi Berbasis 3D
Pengarang: Muhammad Rizki Zaelani | No. Panggil: eSTI-2015013 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4  Next