| Ditemukan 66 dokumen dengan kata kunci 3605 |
Simpan CSV  |
|
Differential and integral calculus for logical operations. A matrix–vector approach
|
| Pengarang: Eduardo Mizraji | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (613-638) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Calculus
|
|
|
|
Calculus
|
|
|
|
Calculus
|
|
|
|
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
|
| Pengarang: André Platzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 309-352 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Partial Differential Equations : Theory and Problems
|
|
|
|
Beginning Calculus
|
|
|
|
A logical basis for constructive systems
|
| Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Embedding the hypersequent calculus in the display calculus
|
| Pengarang: Revantha Ramanayake | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 921-942) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Two new homomorphism dualities and lattice operations
|
| Pengarang: Catarina Carvalho, Víctor Dalmau, and Andrei Krokhin | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1065-1092 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
