Edinburgh Research Explorer

Coloured rippling: An extension of a theorem proving heuristic

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Coloured rippling: An extension of a theorem proving heuristic. / Yoshida, Tetsuya; Bundy, Alan; Green, Ian; Walsh, Toby; Basin, David.

Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994. John Wiley & Sons Inc., 1994.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Yoshida, T, Bundy, A, Green, I, Walsh, T & Basin, D 1994, Coloured rippling: An extension of a theorem proving heuristic. in Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994. John Wiley & Sons Inc.

APA

Yoshida, T., Bundy, A., Green, I., Walsh, T., & Basin, D. (1994). Coloured rippling: An extension of a theorem proving heuristic. In Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994 John Wiley & Sons Inc..

Vancouver

Yoshida T, Bundy A, Green I, Walsh T, Basin D. Coloured rippling: An extension of a theorem proving heuristic. In Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994. John Wiley & Sons Inc. 1994

Author

Yoshida, Tetsuya ; Bundy, Alan ; Green, Ian ; Walsh, Toby ; Basin, David. / Coloured rippling: An extension of a theorem proving heuristic. Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994. John Wiley & Sons Inc., 1994.