Thesis (Ph. D.)--University of Queensland, 2002. / Includes bibliographical references.
| Identifer | oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/52248250 |
| Date | January 1900 |
| Creators | Colvin, Robert John. |
| Publisher | [St. Lucia, Qld., |
| Source Sets | OCLC |
| Language | English |
| Detected Language | English |
| Source | Contextual and data refinement for the refinement calculus for logic programs</a><br>Read the abstract of the thesis. |
Page generated in 0.0017 seconds