Hasil Pencarian
Ditemukan 23 dokumen dengan kata kunci 3620 Simpan CSV Simpan CSV
Universal algebra for general aggregation theory: Many-valued propositional-attitude aggregators as MV-homomorphisms
Pengarang: Frederik S. Herzberg | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 965-977) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A General Approach to Aggregation Problems
Pengarang: Tijmen R. Daniëls and Eric Pacuit | No. Panggil: Journal of Logic and Computation June 2009, 19 (3), p. 517-536 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Applying Universal Algebra to Lambda Calculus
Pengarang: Giulio Manzonetto and Antonino Salibra | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 877-915 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Nominal (Universal) Algebra: Equational Logic with Names and Binding
Pengarang: Murdoch J. Gabbay and Aad Mathijssen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1455-1508 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Reliable Methods of Judgement Aggregation
Pengarang: Stephan Hartmann, Gabriella Pigozzi, and Jan Sprenger | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 603-617 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Nominal Algebra and the HSP Theorem
Pengarang: Murdoch J. Gabbay | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 341-367 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Algebra-Based College Physics: Part I
Pengarang: Zurcher, Ulrich | No. Panggil: ebM-0059 |
Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Axiom Pinpointing in General Tableaux
Pengarang: Franz Baader and Rafael Peņaloza | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 5-34 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Guide to General Server Security
Pengarang: Scarfone, Karen | No. Panggil: ebTI - 00192 |
Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Transparent aggregation of variables with Individual Differences Scaling
Pengarang: Tom Ruette and Dirk Speelman | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 1 April 2015, p. 89-106) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3  Next