Original language | English |
---|---|

Place of Publication | Clayton Vic Australia |

Publisher | Monash University |

Number of pages | 15 |

Publication status | Published - 2000 |

### Cite this

*Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory*. Clayton Vic Australia: Monash University.

}

*Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory*. Monash University, Clayton Vic Australia.

**Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory.** / Jeavons, John S; Poernomo, Iman; Crossley, John N; Basit, Bolis.

Research output: Book/Report › Book › Other

TY - BOOK

T1 - Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory

AU - Jeavons, John S

AU - Poernomo, Iman

AU - Crossley, John N

AU - Basit, Bolis

PY - 2000

Y1 - 2000

M3 - Book

BT - Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory

PB - Monash University

CY - Clayton Vic Australia

ER -