Abstract Theorem Proving (1989)

Cached

Download Links

by Fausto Giunchiglia , Toby Walsh
Venue:PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI-91, DETROIT, USA, 1989
Citations:28 - 8 self