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
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
Handbook of Automated Reasoning