Three notions of proof
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Standard
Three notions of proof. / Naur, Peter.
Proc. of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Danmark. Amsterdam : North-Holland, 1992. p. 97-101.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Harvard
Naur, P 1992, Three notions of proof. in Proc. of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Danmark. North-Holland, Amsterdam, pp. 97-101.
APA
Naur, P. (1992). Three notions of proof. In Proc. of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Danmark (pp. 97-101). North-Holland.
Vancouver
Naur P. Three notions of proof. In Proc. of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Danmark. Amsterdam: North-Holland. 1992. p. 97-101
Author
Bibtex
@inbook{c3a8982074cf11dbbee902004c4f4f50,
title = "Three notions of proof",
author = "Peter Naur",
year = "1992",
language = "English",
pages = "97--101",
booktitle = "Proc. of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Danmark",
publisher = "North-Holland",
}
RIS
TY - CHAP
T1 - Three notions of proof
AU - Naur, Peter
PY - 1992
Y1 - 1992
M3 - Book chapter
SP - 97
EP - 101
BT - Proc. of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Danmark
PB - North-Holland
CY - Amsterdam
ER -
ID: 284417