1
Published 2019
Springer International Publishing
Table of Contents: ... Rewriting Games -- Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting -- Two...

2
by Cornil, Jack-Michel, Testud, Philippe
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Series Expansions -- 21.9Boolean Relations -- 21.10 Tables and Arrays -- 22. Working More Cleverly...

3
by Char, Bruce W., Geddes, Keith O., Gonnet, Gaston H., Leong, Benton L.
Published 1992
Springer New York
Table of Contents: ... calculator -- 1.13 Graphing and plotting functions on screen and on paper -- 1.14 More about syntax errors...