Browse by Journal
Number of items: 3.
B
Buchberger, Bruno, Craciun, Adrian, Jebelean, Tudor, Kovacs, Laura, Temur, Kutsia, Koji, Nakagawa, Piroi, Florina, Popov, Nikolaj, Robu, Judit, Rosenkranz, Markus, and others. (2006) Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic, 4 (4). pp. 470-504. ISSN 1570-8683. (doi:10.1016/j.jal.2005.10.006) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:29973) |
W
Williamson, Jon (2013) From Bayesian Epistemology to Inductive Logic. Journal of Applied Logic, 11 (4). pp. 468-486. ISSN 1570-8683. (doi:10.1016/j.jal.2013.03.006) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31083) |
Williamson, Jon, Gabbay, D.M. (2003) Special issue on Combining Probability and Logic. Journal of Applied Logic, 1 (3-4). pp. 135-138. ISSN 1570-8683. (doi:10.1016/S1570-8683(03)00009-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:7398) |