Hasil Pencarian
	Ditemukan 135 dokumen dengan kata kunci 4517 Simpan CSV  Labelled natural deduction for a bundled branching temporal logic Pengarang: Andrea Masini, Luca Viganò, and Marco Volpe | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1093-1163 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic Pengarang: Andreas Witzel | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 405-416 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: On the Priorean temporal logic with ‘around now’ over the real line Pengarang: Ian Hodkinson | No. Panggil: Journal of Logic and Computation (October 2014; 24 (5), p. 1071-1110) | 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  :: Aljabar Linear Pengarang: Lipschutz, Seymour | No. Panggil: 512.5 LIP t | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Aljabar Linear : Dasar Ekonometri Pengarang: Sofjan Assauri | No. Panggil: 330.154 3 SOF a | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Linear Types and Locality Pengarang: Paolo Torrini | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 655-685 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Temporal Logics of Repeating Values Pengarang: Stéphane Demri, Deepak D’Souza, and Régis Gascon | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1059-1096 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Low linear orderings Pengarang: Andrey N. Frolov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 745-754 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Temporal Assertions with Parametrized Propositions Pengarang: Volker Stolz | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 743-757 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7 8 9 10  Next