| Ditemukan 15 dokumen dengan kata kunci 4326 |
Simpan CSV  |
|
Tractable and intractable classes of propositional schemata
|
| Pengarang: Nicolas Peltier | No. Panggil: Journal of Logic and Computation (October 2014; 24 (5), p. 1111-1139) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Properties of the jump classes
|
| Pengarang: Andrew E. M. Lewis | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 845-855 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Pseudojumps and Formula Classes
|
| Pengarang: Douglas Cenzer, Geoffrey Laforte, and Guohua Wu | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 77-87 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Classes of structures with universe a subset of ω1
|
| Pengarang: Ekaterina Fokina, Sy-David Friedman, Julia Knight, and Russell Miller | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1249-1265 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Introduction to Vectors : YouTube classes with Dr Chris Tisdell
|
|
|
|
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
|
| Pengarang: Grigoriy V. Bokov | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 341-353) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A proof-theoretic analysis of the classical propositional matrix method
|
| Pengarang: David Pym, Eike Ritter, and Edmund Robinson | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.283-301 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Complexity Classifications for Propositional Abduction in Post's Framework
|
| Pengarang: Nadia Creignou, Johannes Schmidt, and Michael Thomas | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1145-1170 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Monodic temporal logic with quantified propositional variables
|
| Pengarang: Walter Hussak | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 517-544 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Computing Minimal Axiomatizations in Gödel Propositional Logic
|
| Pengarang: Stefano Aguzzoli, Ottavio M. D’Antona, and Vincenzo Marra | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 791-812 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
