Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel, P.H. Schmitt
Inbunden, 1998
2 789 kr
Del i serien Hachette Livre BNF
259 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.