Catálogo de publicaciones - revistas
Título de Acceso Abierto
Formalized Mathematics
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
computer-checked mathematics; repository of mathematical knowledge; formalization; mathematical knowledge management
Disponibilidad
| Institución detectada | Período | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | desde ene. 2006 / hasta nov. 2024 | Directory of Open Access Journals |
|
Esta publicación es de Acceso Abierto y no aplica cargos a los/as
autores/as.
Información
Tipo de recurso:
revistas
ISSN impreso
1426-2630
ISSN electrónico
1898-9934
Editor responsable
De Gruyter (DEGRUYTER)
Idiomas de la publicación
- inglés
País de edición
Polonia
Fecha de publicación
2006-
Información sobre licencias CC
