Skip to content

Tuning of Search of the Problem Space for Geometry Proofs.

John R. Anderson

VenueA*IJCAI
Year1981
ProceedingsIJCAI

Browse the full IJCAI paper archive.