Ditemukan 110 dokumen dengan kata kunci 4549 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A Database Approach to Distributed State-Space Generation
|
Pengarang: Stefan Blom, Bert Lisser, Jaco Van De Pol, and Michael Weber | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 45-62 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Diffraction by an impedance strip I. Reducing diffraction problem to Riemann–Hilbert problems
|
Pengarang: A. V. Shanin and A. I. Korolkov | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 3 Agustus 2015, p. 321-339) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Elementarily equivalent structures for topological languages over regions in Euclidean space
|
Pengarang: Ernest Davis | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 457-471 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Diffraction by an impedance strip II. Solving Riemann–Hilbert problems by OE-equation method
|
Pengarang: A. V. Shanin and A. I. Korolkov | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 3 Agustus 2015, p. 341-362) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Pencarian full text pada koleksi skripsi fakulitas teknik UHAMKA menggunakan metode vector space model
|
|
Constructive Logic with Strong Negation as a Substructural Logic
|
Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 761-793 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Reactive standard deontic logic
|
Pengarang: Dov M. Gabbay and Christian Straßer | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 117-157) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A substructural logic for layered graphs
|
Pengarang: Matthew Collinson, Kevin McDonald, and David Pym | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 953-988) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On a coalgebraic view on Logic
|
Pengarang: Dirk Hofmann and Manuel A. Martins | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1097-1106 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Logic for prioritized normative reasoning
|
Pengarang: Frederik Van De Putte and Christian Straßer | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 563-583 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|