Automated reasoning and mathematics : essays in memory of William W. McCune /
Formato: | Libro |
---|---|
Publicado: |
c2013.
|
Acceso en línea: | Ver documento en línea |
ISBN: | 9783642366758 |
---|
Formato: | Libro |
---|---|
Publicado: |
c2013.
|
Acceso en línea: | Ver documento en línea |
ISBN: | 9783642366758 |
---|