Formalized Mathematics
Finna-arvio
Formalized Mathematics
Tallennettuna:
| Kieli |
englanti |
|---|---|
| Julkaisija |
[Bialystok, Poland]
De Gruyter
|
| Aiheet | |
| Muu ilmiasu |
1898-9934 |
| ISSN |
1426-2630 |
| Hae kokoteksti | |