Automated Theorem Proving (e-bog) af Bibel, Wolfgang

Bibel, Wolfgang (forfatter)

Automated Theorem Proving e-bog

343,95 DKK (inkl. moms 429,94 DKK)

E-bog 343,95 DKK

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

Forfattere Bibel, Wolfgang (forfatter)

Forlag Vieweg+Teubner Verlag

Udgivet 8 marts 2013

Genrer Computer science

Sprog German

Format pdf

Beskyttelse LCP

ISBN 9783322901002

Beskrivelse