Koleksi : e-Article Oxford Journal
	| Semua | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | Ada 55 dokumen yang dimulai dengan Judul 'F' Fixpoint and While Temporal Query Languages Pengarang: Nicole Bidoit and Matthieu Objois | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 369-404 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  From (Quantified) Boolean Formulae to Answer Set Programming Pengarang: Igor Stéphan, Benoit Da Mota, and Pascal Nicolas | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 565-590 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Finitely Presented MV-algebras with Finite Automorphism Group Pengarang: Stefano Aguzzoli and Vincenzo Marra | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 811-822 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  From Situation Calculus to Dynamic Epistemic Logic Pengarang: Hans Van Ditmarsch, Andreas Herzig, and Tiago De Lima | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 179-204 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  From Deep Inference to Proof Nets via Cut Elimination Pengarang: Lutz Strassburger | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 589-624 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Finite RDP-algebras: duality, coproducts and logic Pengarang: Simone Bova and Diego Valota | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 417-450 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Formula2-computable real numbers Pengarang: Dimiter Skordev, Andreas Weiermann, and Ivan Georgiev | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 899-925 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Functions definable by numerical set-expressions Pengarang: Ian Pratt-Hartmann and Ivo Düntsch | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 873-895 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  First-order universality for real programs Pengarang: Thomas Anberrée | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 729-751 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Foundations of model construction in feature-based semantic science Pengarang: David Poole | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1081-1096 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Mundur   1 2 3 4 5 6  Maju