Automated theory formation in pure mathematics

Detalles Bibliográficos
Autores principales: van Rijsbergen, CJ, Colton, Simon
Lenguaje:eng
Publicado: Springer 2002
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/2692613

Internet

http://cds.cern.ch/record/2692613

Ejemplares similares