On the Representation of Dynamic Search Spaces in Theorem Proving

Resource

International Conference on Artificial Intelligence, Kaohsiung, December 1996

Journal

International Conference on Artificial Intelligence, Kaohsiung, December 1996

Pages

-

Date Issued

1996

Date

1996

Author(s)

Bonacina M. P.

Hsiang J.

URI

http://ntur.lib.ntu.edu.tw//handle/246246/221042

Type

conference paper