Offerte Automated reasoning and mathematics: essays in memory of william w. mccune: 7788
Prezzo:49,22 €
Marca:Springer
Categoria:Programmazione Springer
ISBN:3642366740
EAN:9783642366741
N. Pagine:280 pagine
Data pubbl.:2013-03-19T00:00:01Z
Recensioni:Leggi opinioni su automated reasoning and mathematics essays in memory of
Valutazione: 4
Marca:Springer
Categoria:Programmazione Springer
ISBN:3642366740
EAN:9783642366741
N. Pagine:280 pagine
Data pubbl.:2013-03-19T00:00:01Z
Recensioni:Leggi opinioni su automated reasoning and mathematics essays in memory of
Valutazione: 4