Hasil Pencarian
	Ditemukan 39 dokumen dengan kata kunci 4637 Simpan CSV  The complexity of reasoning for fragments of default logic Pengarang: Olaf Beyersdorff, Arne Meier, Michael Thomas, and Heribert Vollmer | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 587-604 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Models for Many-Valued Probabilistic Reasoning Pengarang: Tommaso Flaminio and Franco Montagna | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 447-464 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A tableau for general linear temporal logic Pengarang: Mark Alexander Reynolds | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1057-1080 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Labelled Tableaux for Distributed Temporal Logic Pengarang: David Basin, Carlos Caleiro, Jaime Ramos, and Luca Viganň | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1245-1279 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Fixpoint and While Temporal Query Languages Pengarang: Nicole Bidoit and Matthieu Objois | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 369-404 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Reasoning with vectors: A continuous model for fast robust inference Pengarang: Dominic Widdows, Trevor Cohen | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 141-173 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Category-based Equational Reasoning: An Approach to Ontology Integration Pengarang: Joe Geldart and William Song | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 791-806 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Artificial intelligence : searching, reasoning, planning, dan learning Pengarang: Suyanto | No. Panggil: 006.3 SUY a | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Challenges for regional innovation policies in Central and Eastern Europe: Spatial concentration and foreign control of US patenting Pengarang: Balázs Lengyel, Tamás Sebestyén, and Loet Leydesdorff | No. Panggil: Science and Public Policy (Volume 42 Issue 1 February 2015, p. 1-14) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Studi Simulasi unjuk Kerja Mimo dengan Spatial Multiplexing Pada Kanal Wireless Menggunakan Matlab R2009a Pengarang: Ade Firmansyah | No. Panggil: eSTE-2010006 | Koleksi: e-Skripsi Teknik Elektro  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4  Next