16194801
Results 1 to 1 of 1
Selection :
Improving Mizar texts with properties and requirementsNAUMOWICZ, Adam; BYLINSKI, Czesław.Lecture notes in computer science. 2004, pp 290-301, issn 0302-9743, isbn 3-540-23029-7, 12 p.Conference Paper