Hasil Pencarian
	Ditemukan 39 dokumen dengan kata kunci 4675 Simpan CSV  RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice Pengarang: Andrej Bauer and Christopher A. Stone | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 17-43 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Reliability Engineering Theory and Practice Pengarang: Prof. Dr. Alessandro Birolini | No. Panggil: 620.004 BIR r | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Automotive Science and Mathematics No. Panggil: 629.2 BON a | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A logical basis for constructive systems Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Modal Operators over Constructive Logic Pengarang: Evgeny Yu. Sherkhonov | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 815-829 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Borel Complexity of Topological Operations on Computable Metric Spaces Pengarang: Vasco Brattka and Guido Gherardi | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 45-76 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: On constructive models of theories with linear Rudin-Keisler ordering Pengarang: Alexander Gavryushkin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 793-805 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Constructive Logic with Strong Negation as a Substructural Logic Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 761-793 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Answer Set Programming with Resources Pengarang: Stefania Costantini and Andrea Formisano | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 533-571 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Monotonic Answer Set Programming Pengarang: Martin Gebser, Mona Gharib, Robert Mercer, and Torsten Schaub | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 539-564 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4  Next