Hasil Pencarian
	Ditemukan 62 dokumen dengan kata kunci 4684 Simpan CSV  Solutions to Some Open Problems on Totally Ordered Monoids Pengarang: Rostislav Horčík | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 977-983 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A Logical and Computational Theory of Located Resource Pengarang: Matthew Collinson, Brian Monahan, and David Pym | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1207-1244 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Partial Differential Equations : Theory and Problems Pengarang: Duchateau,Paul | No. Panggil: ebM-0053 | Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Portofolio Theory & Financial Analyses: Exercises Pengarang: Hill, Robert Alan | No. Panggil: ebIS-0349 | Koleksi: e-Book Sosial dan Humaniora  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Passive and active filters : theory and implementations Pengarang: Chen, Wai-Kai | No. Panggil: 621.31 CHE p | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: 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  :: Data Structures & Algorithms in Java [Second Edition] Pengarang: Lafore, Robert | No. Panggil: ebTI - 00194 | Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Evolution and dynamics of node-weighted networks for cellular automata computation Pengarang: Anca Andreica and Camelia Chira | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 400-409) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7  Next