Inproceedings,
Towards extraction of theorems and proofs in scholarly articles.
S. Mishra, L. Pluvinage, and P. Senellart.DocEng, page 25:1-25:4. ACM, (2021)
Meta data
- BibTeX key
- conf/doceng/MishraPS21
- entry type
- inproceedings
- booktitle
- DocEng
- year
- 2021
- pages
- 25:1-25:4
- publisher
- ACM
- crossref
- conf/doceng/2021
- ee
- https://doi.org/10.1145/3469096.3475059
- isbn
- 978-1-4503-8596-1
- url
- http://dblp.uni-trier.de/db/conf/doceng/doceng2021.html#MishraPS21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/doceng/MishraPS21
%A Mishra, Shrey
%A Pluvinage, Lucas
%A Senellart, Pierre
%B DocEng
%D 2021
%E Healy, Patrick
%E Bilauca, Mihai
%E Bonnici, Alexandra
%I ACM
%K dblp
%P 25:1-25:4
%T Towards extraction of theorems and proofs in scholarly articles.
%U http://dblp.uni-trier.de/db/conf/doceng/doceng2021.html#MishraPS21
%@ 978-1-4503-8596-1
@inproceedings{conf/doceng/MishraPS21,
added-at = {2021-08-20T00:00:00.000+0200},
author = {Mishra, Shrey and Pluvinage, Lucas and Senellart, Pierre},
biburl = {https://www.bibsonomy.org/bibtex/25c486edffb41a08ad96be56782295f7f/dblp},
booktitle = {DocEng},
crossref = {conf/doceng/2021},
editor = {Healy, Patrick and Bilauca, Mihai and Bonnici, Alexandra},
ee = {https://doi.org/10.1145/3469096.3475059},
interhash = {948e1792ca76c6452ede6a42fd8c9bee},
intrahash = {5c486edffb41a08ad96be56782295f7f},
isbn = {978-1-4503-8596-1},
keywords = {dblp},
pages = {25:1-25:4},
publisher = {ACM},
timestamp = {2024-04-10T01:58:45.000+0200},
title = {Towards extraction of theorems and proofs in scholarly articles.},
url = {http://dblp.uni-trier.de/db/conf/doceng/doceng2021.html#MishraPS21},
year = 2021
}