| Ditemukan 58 dokumen dengan kata kunci 4562 |
Simpan CSV  |
|
Preservation by fibring of the finite model property
|
| Pengarang: M. E. Coniglio, A. Sernadas, and C. Sernadas | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 375-402 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Model-theory and implementation of property grammars with features
|
| Pengarang: Denys Duchier, Thi-Bich-Hanh Dao, and Yannick Parmentier | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 491-509 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
|
| Pengarang: Peter Baumgartner, Ulrich Furbach, and Björn Pelzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 77-109 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On Graph-theoretic Fibring of Logics
|
| Pengarang: Amilcar Sernadas, Cristina Sernadas, Joao Rasga, and Marcelo Coniglio | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1321-1357 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Property-based Slicing for Agent Verification
|
| Pengarang: Rafael H. Bordini, Michael Fisher, Michael Wooldridge, and Willem Visser | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1385-1425 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Under the Workbench: An analysis of the use and preservation of MONK text mining research software
|
| Pengarang: Harriett E. Green | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 1 April 2015, p. 23-40) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On the Density of Truth of Locally Finite Logics
|
| Pengarang: Zofia Kostrzycka | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1113-1125 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Small and medium-sized enterprises, intellectual property, and public policy
|
| Pengarang: Rashid Nikzad | No. Panggil: Science and Public Policy (Volume 42 Issue 2 April 2015, p. 176-187) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Enumeration of the adjunctive hierarchy of hereditarily finite sets
|
| Pengarang: Giorgio Audrito, Alexandru I. Tomescu, Stephan Wagner | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 943-963)
|
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Counting weak Heyting algebras on finite distributive lattices
|
| Pengarang: Majid Alizadeh and Nima Joharizadeh | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 247-258) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
