Formalized Mathematics

Publisher:De Gruyter
ISSN:1426-2630
E-ISSN:1898-9934
Categories:Mathematical Sciences - Applied Mathematics
Available online:Availability
Walter De Gruyter: Open Access JournalsAvailable from 2008/06/09 volume: 14 issue: 2