MPG.eBooks - Search Results - "symbolic"

Cover Image

1

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Published 1998

Springer Netherlands

Subjects: “...Symbolic and Algebraic Manipulation...”

Cover Image

2

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Published 1998

Springer Netherlands

Subjects: “...Symbolic and Algebraic Manipulation...”