| Ditemukan 11 dokumen dengan kata kunci 3722 |
Simpan CSV  |
|
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 ::
|
|
|
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 ::
|
|
|
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 ::
|
|
|
Two new homomorphism dualities and lattice operations
|
| Pengarang: Catarina Carvalho, Víctor Dalmau, and Andrei Krokhin | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1065-1092 |
|
|
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 ::
|
|
|
PTM-SD: a database of structurally resolved and annotated posttranslational modifications in proteins
|
| Pengarang: Pierrick Craveur, Joseph Rebehmed, and Alexandre G. de Brevern | No. Panggil: Database (Volume 2014, p.bau041) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
Martial Arts - Complete Book Of Jiu-Jitsu
|
|
|
|
Differential and integral calculus for logical operations. A matrix–vector approach
|
| Pengarang: Eduardo Mizraji | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (613-638) |
|
|
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 ::
|
|
Hasil Pencarian
