Mathematical Knowledge Management in MIZAR (2001)

Cached

Download Links

by Piotr Rudnicki , Andrzej Trybulec
Venue:Proc. of MKM 2001
Citations:8 - 0 self