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

Swart, Harrie de (redaktør)

Automated Reasoning with Analytic Tableaux and Related Methods e-bog

692,63 DKK (inkl. moms 865,79 DKK)

E-bog 692,63 DKK

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

Forfattere Swart, Harrie de (redaktør)

Forlag Springer

Udgivet 26 juni 2003

Genrer UYA

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540697787

Beskrivelse