Ditemukan 23 dokumen dengan kata kunci 4576 |
Simpan CSV  |
Presentation of Set Functors: A Coalgebraic Perspective
|
Pengarang: J. Adámek, H. P. Gumm, and V. Trnkova | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 991-1015 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
|
Pengarang: Lawrence S. Moss | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1101-1111 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On a coalgebraic view on Logic
|
Pengarang: Dirk Hofmann and Manuel A. Martins | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1097-1106 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Rank-1 Modal Logics are Coalgebraic
|
Pengarang: Lutz Schröder and Dirk Pattinson | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1113-1147 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
12 Ways to ruin your presentation
|
|
Berliner Balancade Scorecard: Customer Perspective
|
|
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 ::
|
|
Smart Presentation With Microsoft Power Point 2007
|
|
Functions definable by numerical set-expressions
|
Pengarang: Ian Pratt-Hartmann and Ivo Düntsch | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 873-895 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|