Handbook of Automated Reasoning (e-bog) af -

Voronkov, Andrei (redaktør)

Handbook of Automated Reasoning e-bog

2921,57 DKK (inkl. moms 3651,96 DKK)

Handbook of Automated Reasoning

E-bog 2921,57 DKK

Kan læses i vores apps til iPhone/iPad og Android.

Forfattere Voronkov, Andrei (redaktør)

Forlag North Holland

Udgivet 22 juni 2001

Længde 2128 sider

Genrer PBCD

Sprog English

Format epub

Beskyttelse LCP

ISBN 9780080532790

Beskrivelse

Handbook of Automated Reasoning