| Ditemukan 61 dokumen dengan kata kunci 4340 |
Simpan CSV  |
|
Linear Temporal Logic LTL: Basis for Admissible Rules
|
| Pengarang: Sergey Babenyshev and Vladimir Rybakov | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 157-177 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The Protein Model Portal—a comprehensive resource for protein structure and model information
|
| Pengarang: Juergen Haas, Steven Roth, Konstantin Arnold, Florian Kiefer, dll | No. Panggil: Database (Volume 2013, p.bat031) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The Univalence Axiom in posetal model categories
|
| Pengarang: Misha Gavrilovich,Assaf Hasson,Itay Kaplan | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 669-682) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Curation accuracy of model organism databases
|
| Pengarang: Ingrid M. Keseler, Marek Skrzypek, Deepika Weerasinghe, Albert Y. Chen, dll | No. Panggil: Database (Volume 2014, p. bau058) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Model-theoretic properties of the n-c.e. degrees
|
| Pengarang: Marat M. Arslanov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 669-677 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 Checking Using Description Logic
|
| Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Working in the for-profit versus not-for-profit sector: what difference does it make? An inquiry on preferences of voluntary and involuntary movers
|
| Pengarang: Leonardo Becchetti, Stefano Castriota, and Sara Depedri | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 4 August 2014, p. 1087-1120) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Detection and analysis of some redundancies in linear logic sequent proofs
|
| Pengarang: Tatjana Lutovac and James Harland | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.187-232 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
|
| Pengarang: Cătălin Dima | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 939-958 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
