Non-Redundant Representation of Computations: The Integration of Equations and Relations |
Michael R. Hansen
|
Type | Ph.D. thesis [Academic thesis] |
Year | 1987 |
Publisher | Department of Computer Science |
Address | DTU |
ISBN / ISSN | 0902-2821 |
BibTeX data | [bibtex] |
IMM Group(s) | Computer Science & Engineering |