Towards a MIZAR Mathematical Library in OMDoc Format / Grzegorz Bancerek and Michael Kohlhase.
Rodzaj materiału:
ArtykułTematy: From insight to proof 10 (23) (2007), s. 265-275
W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 265-275
W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 265-275
Brak egzemplarzy dla tego rekordu
Tyt. nagł.
Bibliogr. s. 274-275.