Computing Publications

Publications Home » A Hybrid Abductive Inductive Proo...

A Hybrid Abductive Inductive Proof Procedure

Oliver Ray, Krysia Broda, Alessandra Russo

Journal Article
Logic Journal of the IGPL
Volume 12
Issue 5
pp.371–397
December, 2004
Oxford University Press
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.