Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems (1994)

Cached

Download Links

by Fausto Giunchiglia , Paolo Pecchiari , Carolyn Talcott
Citations:47 - 11 self