| Ditemukan 106 dokumen dengan kata kunci 4516 |
Simpan CSV  |
|
Logic for coalitions with bounded resources
|
| Pengarang: Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 907-937 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Labelled calculi of resources
|
| Pengarang: Maribel Fernández and Nikolaos Siafakas | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 591-613 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
Separating bounded arithmetical theories by Herbrand consistency
|
| Pengarang: Saeed Salehi | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 545-560 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Parallel SAT Solving in Bounded Model Checking
|
| Pengarang: Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, dll | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 5-21 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Existentially Closed Models and Conservation Results in Bounded Arithmetic
|
| Pengarang: A. Cordón-Franco, A. Fernández-Margarit, and F. F. Lara-Martín | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 123-143 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The Effects of Bounding Syntactic Resources on Presburger LTL
|
| Pengarang: Stéphane Demri and Régis Gascon | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1541-1575 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Higher Types, Finite Domains and Resource-bounded Turing Machines
|
| Pengarang: Lars Kristiansen | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 281-304 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The moderating role of the complementary nature of technological resources in the diversification–performance relationship
|
| Pengarang: Maryam Nasiriyar, Lionel Nesta, and Ludovic Dibiaggio | No. Panggil: Industrial and Corporate Change (Volume 15 Issue 5 October 2014, p. 1357-1380) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Creating a specialist protein resource network: a meeting report for the protein bioinformatics and community resources retreat
|
| Pengarang: Patricia C. Babbitt, Pantelis G. Bagos, Amos Bairoch, Alex Bateman, dll | No. Panggil: Database (Volume 2015, p. bav063) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
