Ditemukan 53 dokumen dengan kata kunci 4495 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Logical Weak Completions of Paraconsistent Logics
|
Pengarang: Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 913-940 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Interaction-based Runtime Verification for Systems of Systems Integration
|
Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
|
Pengarang: Andrej Bauer and Christopher A. Stone | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 17-43 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modelling and Analysis of Manufacturing Systems
|
|
Elektronic communication systems
|
|
Logical consistency in simultaneous statistical test procedures
|
Pengarang: Rafael Izbicki and Luís Gustavo Esteves | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 732-758) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A logical analysis of responsibility attribution: emotions, individuals and collectives
|
Pengarang: Emiliano Lorini, Dominique Longin, and Eunate Mayor | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1313-1339) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
Modul Pemograman Basis Data Lanjut My SQL
|
|
Dasar Basis Data Graf & Neo4j : Panduan untuk mempelajari pembuatan basis data graf dengan mudah dan cepat
|
|