| Document Date: 2010-03-05 21:10:35 Open Document File Size: 428,65 KBShare Result on Facebook
Company Trybulec / TSa / mentioning TSa / / Facility Mizar library / Mizar Mathematical Library / / IndustryTerm declarative systems / mathematical editing/checking tools / proof checking tool / software utilities / Proof checking tools / search engines / computer processing / / Organization Heriot-Watt University / / Person Manuel Maarek / / Position author / editor / ordinary mathematician / mathematician / / Product TEXmacs / CGa / Mizar / / ProgrammingLanguage Mathematica / XML / / Technology XML / artificial intelligence / / URL http /
SocialTag |