Ditemukan 154 dokumen dengan kata kunci 4639 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A Complete Deductive System for Probability Logic
|
Pengarang: Chunlai Zhou | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1427-1454 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Complexity for probability logic with quantifiers over propositions
|
Pengarang: Stanislav O. Speranski | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1035-1055 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Python for Probability, Statistics, and Machine Learning
|
|
Solving a PSPACE-complete problem by gene assembly
|
Pengarang: Thomas Zerjatke and Monika Sturm | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 897-908 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
|
Pengarang: Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, and Cristina Sernadas | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 885-911 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Martial Arts - Complete Book Of Jiu-Jitsu
|
|
Almost structurally complete infinitary consequence operations extending S4.3
|
Pengarang: Wojciech Dzik and Piotr Wojtylak | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 640-661) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
BactPepDB: a database of predicted peptides from a exhaustive survey of complete prokaryote genomes
|
Pengarang: Julien Rey, Patrick Deschavanne, and Pierre Tuffery | No. Panggil: Database (Volume 2014, p. bau106) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Recommender System Untuk Resep Masakan
|
|
Perancangan system monitoring auto alert pada mikrotik router OS (OPERATING SYSTEM)
|
|