Non-trivial symbolic computations in proof planning, in (0)

by V Sorge
Venue:Proc. of FROCOS 2000, in: LNCS