Formalized Mathematics
Full text!- Type:
- tijdschrift
- Titel:
- Formalized Mathematics
- Taal:
- Engels
- Uitgever:
- [Bialystok, Poland] De Gruyter
- ISSN:
- 1426-2630
- Onderwerp:
- Mathematical Sciences Applied Mathematics
- Permalink:
- http://bibtest.howest.be/catalog/ejn03:1000000000306548