/

Handbook of Automated Reasoning

Robinson, Alan J.A.; Voronkov, Andrei
Digital bok / 2009 / Engelsk

Produktdetaljer

ISBN
9780444508133
Publisert
2009
Utgiver
Elsevier S & T
Språk
Product language
Engelsk
Format
Product format
Digital bok
Antall sider
2128

Forfatter
Robinson, Alan J.A.; Voronkov, Andrei

Handbook of Automated Reasoning

Robinson, Alan J.A.; Voronkov, Andrei
Digital bok / 2009 / Engelsk
Robinson, Alan J.A.; Voronkov, Andrei
Digital bok / 2009 / Engelsk
4.188,-
Laveste pris siste 30 dager: 4.188,-

Dette er en digital bok som er bundet til bokleseren Bookshelf. Du vil få en aktiveringslenke på e-post når du har fullført kjøpet.
Klikk her for mer info.

Handbook of Automated Reasoning

Relaterte produkter

Handbook of Automated Reasoning

Produktdetaljer

ISBN
9780444508133
Publisert
2009
Utgiver
Elsevier S & T
Språk
Product language
Engelsk
Format
Product format
Digital bok
Antall sider
2128

Forfatter
Robinson, Alan J.A.; Voronkov, Andrei

Relaterte produkter