Formalized Mathematics
Finna rating
Formalized Mathematics
Saved in:
| Language |
English |
|---|---|
| Publisher |
[Bialystok, Poland]
De Gruyter
|
| Subjects | |
| Additional form |
1898-9934 |
| ISSN |
1426-2630 |
| Get full text | |