Non-trivial symbolic computations in proof planning (2000)

by V Sorge
Venue:In FroCoS ’00: Proceedings of the Third International Workshop on Frontiers of Combining Systems