Peter Madden
3 published titles
Tutorial guide to the CLAM proof planner
1 edition
- University of Edinburgh, Dept. of Artificial Intelligence
- 1992
- Details
A review of work relating to program transformation
1 edition
- University of Edinburgh, Dept. of Artificial Intelligence
- 1994
- Details
Scilly's building heritage
1 edition
- ISBN: 0906294363
- Twelveheads Press
- 1996
- Details
