Volume 5, Issue 5
October 1995
ISSN 0955-792X
EISSN 1465-363X
Issue navigation
Volume 5, Issue 5, October 1995
Original Articles
Representing Incomplete Knowledge in Abductive Logic Programming
Journal of Logic and Computation, Volume 5, Issue 5, October 1995, Pages 553–577, https://doi.org/10.1093/logcom/5.5.553
CHICA, An Abductive Planning System Based on Event Calculus
Journal of Logic and Computation, Volume 5, Issue 5, October 1995, Pages 579–602, https://doi.org/10.1093/logcom/5.5.579
Object Specification Logic
Journal of Logic and Computation, Volume 5, Issue 5, October 1995, Pages 603–630, https://doi.org/10.1093/logcom/5.5.603
Automated Mathematical Induction
Journal of Logic and Computation, Volume 5, Issue 5, October 1995, Pages 631–668, https://doi.org/10.1093/logcom/5.5.631
Efficient Verified Programs in a Type Theory with Mixed Constructivity
Journal of Logic and Computation, Volume 5, Issue 5, October 1995, Pages 669–689, https://doi.org/10.1093/logcom/5.5.669
Reviews
Reviews
Journal of Logic and Computation, Volume 5, Issue 5, October 1995, Pages 691–692, https://doi.org/10.1093/logcom/5.5.691
Reviews
Journal of Logic and Computation, Volume 5, Issue 5, October 1995, Page 692, https://doi.org/10.1093/logcom/5.5.692
Reviews
Journal of Logic and Computation, Volume 5, Issue 5, October 1995, Pages 692–693, https://doi.org/10.1093/logcom/5.5.692-a
Reviews
Journal of Logic and Computation, Volume 5, Issue 5, October 1995, Pages 693–694, https://doi.org/10.1093/logcom/5.5.693
Forthcoming papers
Forthcoming Papers
Journal of Logic and Computation, Volume 5, Issue 5, October 1995, Page 695, https://doi.org/10.1093/logcom/5.5.695
