Search alternatives:
formulas one » formula one, formulas over, formulas only

1
by Clocksin, William F., Mellish, Christopher S.
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... and simplification of formulae. -- 7.1 A Sorted Tree Dictionary -- 7.2 Searching a Maze -- 7.3 The Towers of Hanoi...

2
by Clocksin, William F., Mellish, Christopher S.
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... structures -- 2.1 Syntax -- 2.2 Characters -- 2.3 Operators -- 2.4 Equality and Matching -- 2.5 Arithmetic...

3
by Clocksin, William F., Mellish, Christopher S.
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... structures -- 2.1 Syntax -- 2.2 Characters -- 2.3 Operators -- 2.4 Equality and Unification -- 2.5 Arithmetic...