Edinburgh Research Explorer

Automatic guidance of program synthesis proofs

Research output: Working paperDiscussion paper

Standard

Automatic guidance of program synthesis proofs. / Bundy, Alan.

2000.

Research output: Working paperDiscussion paper

Harvard

Bundy, A 2000 'Automatic guidance of program synthesis proofs'.

APA

Bundy, A. (2000). Automatic guidance of program synthesis proofs.

Vancouver

Bundy A. Automatic guidance of program synthesis proofs. 2000.

Author

Bundy, Alan. / Automatic guidance of program synthesis proofs. 2000.