Journal: Formalized Mathematics
ISSN (P) 1426-2630
ISSN (E) 1898-9934
ISSN (L) 1426-2630
Publisher: (9541) Versita
There are no additional documents for this Publisher/Journal.
Item Type: | Journal/Series | |||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Publication Type: | Journal | |||||||||||||||||||||
Refereed: | Not Specified | |||||||||||||||||||||
OA Permissions: |
|
|||||||||||||||||||||
DOAJ: | No, journal is not listed in DOAJ | |||||||||||||||||||||
OA since: | 2006 | |||||||||||||||||||||
URL: | ||||||||||||||||||||||
Conflict: | No | |||||||||||||||||||||
Refereed Source: | Import | |||||||||||||||||||||
Ulrichsweb ID: | 707461 | |||||||||||||||||||||
Sherpa Romeo Id: | 43580 | |||||||||||||||||||||
Divisions: | Unspecified | |||||||||||||||||||||
License: | CC BY-NC-ND 4.0 | |||||||||||||||||||||
Article Processing Charge(s): |
|
|||||||||||||||||||||
R&P Contract available?: | No | |||||||||||||||||||||
R&P Contract Details: |
|
|||||||||||||||||||||
Date Deposited: | 22 Oct 2012 17:08 | |||||||||||||||||||||
Last Modified: | 16 Jan 2025 01:18 | |||||||||||||||||||||
URI: | https://www.jdb.uzh.ch/id/eprint/24861 |