Handbook of Automated Reasoning (e-bog) af -

Voronkov, Andrei (redaktør)

Handbook of Automated Reasoning e-bog

2921,57 DKK

Handbook of Automated Reasoning

E-bog 2921,57 DKK

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

Forfattere Voronkov, Andrei (redaktør)

Forlag North Holland

Udgivet 22.06.2001

Længde 2128 sider

Genrer PBCD

Sprog English

Format epub

Beskyttelse LCP

ISBN 9780080532790

Handbook of Automated Reasoning