| Original language | English |
|---|---|
| Place of Publication | Clayton Vic Australia |
| Publisher | Monash University |
| Number of pages | 15 |
| Publication status | Published - 2000 |
Cite this
Jeavons, J. S., Poernomo, I., Crossley, J. N., & Basit, B. (2000). Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory. Clayton Vic Australia: Monash University.
@book{a3c9d26f59e54eb3a2bd086b95727b36,
title = "Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory",
author = "Jeavons, {John S} and Iman Poernomo and Crossley, {John N} and Bolis Basit",
year = "2000",
language = "English",
publisher = "Monash University",
}
Jeavons, JS, Poernomo, I, Crossley, JN & Basit, B 2000, 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.
Clayton Vic Australia : Monash University, 2000. 15 p.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 -
Jeavons JS, Poernomo I, Crossley JN, Basit B. Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory. Clayton Vic Australia: Monash University, 2000. 15 p.