Automated Reasoning with Analytic Tableaux and Related Methods (e-bog) af -

Dyckhoff, Roy (redaktør)

Automated Reasoning with Analytic Tableaux and Related Methods e-bog

546,06 DKK (ekskl. moms 436,85 DKK)

E-bog 546,06 DKK

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

Forfattere Dyckhoff, Roy (redaktør)

Forlag Springer

Udgivet 2006-12-30

Genrer UMC

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540450085

Beskrivelse