Edinburgh Research Explorer

Using failure to guide inductive proof

Research output: Book/ReportBook

Standard

Using failure to guide inductive proof. / Ireland, Andrew; Bundy, Alan.

University of Edinburgh, Department of Artificial Intelligence, 1992.

Research output: Book/ReportBook

Harvard

Ireland, A & Bundy, A 1992, Using failure to guide inductive proof. University of Edinburgh, Department of Artificial Intelligence.

APA

Ireland, A., & Bundy, A. (1992). Using failure to guide inductive proof. University of Edinburgh, Department of Artificial Intelligence.

Vancouver

Ireland A, Bundy A. Using failure to guide inductive proof. University of Edinburgh, Department of Artificial Intelligence, 1992.

Author

Ireland, Andrew ; Bundy, Alan. / Using failure to guide inductive proof. University of Edinburgh, Department of Artificial Intelligence, 1992.