Koleksi : e-Article Oxford Journal
| Semua | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z |
Ada 63 dokumen yang dimulai dengan Judul 'O'
On States on MV-algebras and their Applications
Pengarang: Anatolij Dvurečenskij | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 407-427 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
On Two Attempts of Describing Propositional Realizability Logic
Pengarang: Valery Plisko | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 639-663 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
Pengarang: Félix Bou, Francesc Esteva, Lluís Godo, and Ricardo Oscar Rodríguez | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 739-790 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
On the Structure of Finite Integral Commutative Residuated Chains
Pengarang: Rostislav Horčík | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 717-728 | Penerbitan: Oxford University Press
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 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
On meet-combination of logics
Pengarang: A. Sernadas, C. Sernadas,and J. Rasga | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1453-1470 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Optimal decompositions of matrices with entries from residuated lattices
Pengarang: Radim Belohlavek | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1405-1425 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
On the existence of a modal-logical basis for monadic second-order logic
Pengarang: Lauri Hella and Tero Tulenheimo | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 157-180 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Opening the black box of trust: reasoning about trust models in a BDI agent
Pengarang: Andrew Koster, Marco Schorlemmer, and Jordi Sabater-Mir | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 25-58 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
On generalizing free algebras for a functor
Pengarang: Dion C. S. Coumans and Samuel J. van Gool | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 645-672 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Mundur   1 2 3 4 5 6 7  Maju