Hasil Pencarian
	Ditemukan 81 dokumen dengan kata kunci 4604 Simpan CSV  Base-extension semantics for intuitionistic sentential logic Pengarang: Tor Sandqvist | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 719-731) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Model-theoretic characterization of intuitionistic predicate formulas Pengarang: Grigory K. Olkhovikov | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 809-829 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Hybrid Functional Interpretations of Linear and Intuitionistic Logic Pengarang: Paulo Oliva | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 305-328 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic Pengarang: Arnon Avron | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 813-821 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: General Models and Completeness of First-Order Modal μ-calculus Pengarang: Ryo Kashima and Keishi Okamoto | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 497-507 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Wind Energy Explained : theory, Design and Application Pengarang: Manwell, J.F | No. Panggil: 621.45 MAN w | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Theory of Applied Robotics : Kinematics, Dynamics, and Control No. Panggil: 531.113 JAZ t | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Model-theory and implementation of property grammars with features Pengarang: Denys Duchier, Thi-Bich-Hanh Dao, and Yannick Parmentier | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 491-509 | 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  :: Introduction to FACTS Controllers : Theory, Modeling, and Applications Pengarang: Sen, Kalyan K. | No. Panggil: eTE-00026 | Koleksi: e-Book TE  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7 8 9  Next