Gradual computerisation/formalisation of mathematical texts into Mizar

by Fairouz Kamareddine , Manuel Maarek , Krzysztof Retel , J. B. Wells
Venue:From Insight to Proof: Festschrift in Honour of Andrzej Trybulec
Citations:9 - 4 self