Ditemukan 50 dokumen dengan kata kunci 4412 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Towards a uniform presentation of logical systems by indexed categories and adjoint situations
|
Pengarang: U. Wolter, A. Martini, and E. H. Häusler | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 57-93) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Characterizing and comparing innovation systems by different ‘modes’ of knowledge production: A proximity approach
|
Pengarang: Sjoerd Hardeman, Koen Frenken, Önder Nomaler, Anne L. J. Ter Wal | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 530-548) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Explicit substitution calculi with de Bruijn indices and intersection type systems
|
Pengarang: Daniel Lima Ventura, Fairouz Kamareddine, and Mauricio Ayala-Rincón | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 295-340) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
|
Pengarang: Matthias Knorr, Martin Slota, João Leite, and Martin Homola | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1279-1311) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
|
Pengarang: Arnon Avron, Beata Konikowska, and Anna Zamansky | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 517-540 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Rule Systems for Run-time Monitoring: from Eagle to RuleR
|
Pengarang: Howard Barringer, David Rydeheard, and Klaus Havelund | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 675-706 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic
|
Pengarang: Matthias Baaz and George Metcalfe | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 35-54 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Proceedings 2011 International Conference on Advanced Computer Science and Information Systems
|
|
Proceedings : ICACSIS International Coonference Om Advanced Computer Science and Information Systems
|
|
Functional evolution and accumulation of technological innovation systems: The case of renewable energy in East Africa
|
Pengarang: Aschalew D. Tigabu, Frans Berkhout, Pieter van Beukering | No. Panggil: Science and Public Policy (Volume 42 Issue 5 October 2015, p. 614-631) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|