Reflecting proofs in first-order logic with equality (2005)

Cached

Download Links

by Evelyne Contejean , Pierre Corbineau
Venue:In Proceedings of EUROSPEECH’97
Citations:10 - 3 self