Original language | English |
---|---|
Place of Publication | Clayton Vic Australia |
Publisher | Monash University |
Number of pages | 15 |
Publication status | Published - 2000 |
Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory
John S Jeavons, Iman Poernomo, John N Crossley, Bolis Basit
Research output: Book/Report › Book › Other