Cite Bay
How to cite Isabelle/HOL
Logic
The Isabelle automated theorem prover is an interactive theorem prover, a higher order logic (HOL) theorem prover.
More informations about Isabelle/HOL can be found at this link.
Cite related popular book
Citation in APA style
Citation in Vancouver style
Citation in Harvard style
Citation in Bibtex format
@book{nipkow2002isabelle,
title={Isabelle/HOL: a proof assistant for higher-order logic},
author={Nipkow, Tobias and Paulson, Lawrence C and Wenzel, Markus},
volume={2283},
year={2002},
publisher={Springer Science \& Business Media}
}
title={Isabelle/HOL: a proof assistant for higher-order logic},
author={Nipkow, Tobias and Paulson, Lawrence C and Wenzel, Markus},
volume={2283},
year={2002},
publisher={Springer Science \& Business Media}
}
Copy
Cite as a miscellaneous item
Isabelle/HOL can by cited as a software, citation follows
Citation in APA style
Citation in Vancouver style
Citation in Harvard style
Citation in Bibtex format
@misc{isabelle-hol,
author={Naraschewski, Wolfgang and Nipkow, Tobias},
title={Isabelle/HOL},
year={2020},
url={http://www.cl.cam.ac.uk/research/hvg/Isabelle/},
}
author={Naraschewski, Wolfgang and Nipkow, Tobias},
title={Isabelle/HOL},
year={2020},
url={http://www.cl.cam.ac.uk/research/hvg/Isabelle/},
}
Copy
Do you like it?
Unprofitable
Please consider a donation – we do it in our free time. Do it easily Support.
Join us
Suggestions are always welcome! You can also help us with writing and became a part of the team.
Share science!
Just tell your friends about us.
