cutternumberG216c

Número de Cutter-SanbornS411mEntrada «Schwarz» → 411 · marca de obra “m”

Mizar verification of generic algebraic algorithms

Edición de la obra Mizar verification of generic algebraic algorithms

Autor	Christoph Schwarzweller
Fecha de publicación	1997
Idioma	inglés
Páginas	164
OCLC	52353739
Número de Cutter	`S411m`

Ver todas las ediciones de esta obra →

Mizar verification of generic algebraic algorithms (1997) | Cutter Number