Iteration theories : the equational logic of iterative processes
Stephen L. Bloom, Zoltán Ésik
Bok Engelsk 1993
| Utgitt | Berlin : Springer , c1993
|
|---|---|
| Omfang | XV, 630 s. : ill.
|
| Emner | Computer science - Mathematics
Iterative methods (Mathematics) Logic, Symbolic and mathematical interasjon matematikk |
| ISBN | 0387563784. - 3540563784
|
