Special issue on advances in mathematics mechanization [an International Conference on Mathematics Mechanization was held from May 11 to May 13, 2009, in Beijing, China]
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Amsterdam u.a.
Elsevier
2012
|
| Schriftenreihe: | Journal of symbolic computation
47.2012,6 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | S. 583 - 750 |
|---|