Meta data
- BibTeX key
- conf/nips/WangTWD17
- entry type
- inproceedings
- booktitle
- NIPS
- year
- 2017
- pages
- 2786-2796
- crossref
- conf/nips/2017
- ee
- http://papers.nips.cc/paper/6871-premise-selection-for-theorem-proving-by-deep-graph-embedding
- url
- http://dblp.uni-trier.de/db/conf/nips/nips2017.html#WangTWD17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/nips/WangTWD17
%A Wang, Mingzhe
%A Tang, Yihe
%A Wang, Jian
%A Deng, Jia
%B NIPS
%D 2017
%E Guyon, Isabelle
%E von Luxburg, Ulrike
%E Bengio, Samy
%E Wallach, Hanna M.
%E Fergus, Rob
%E Vishwanathan, S. V. N.
%E Garnett, Roman
%K dblp
%P 2786-2796
%T Premise Selection for Theorem Proving by Deep Graph Embedding.
%U http://dblp.uni-trier.de/db/conf/nips/nips2017.html#WangTWD17
@inproceedings{conf/nips/WangTWD17,
added-at = {2021-02-02T00:00:00.000+0100},
author = {Wang, Mingzhe and Tang, Yihe and Wang, Jian and Deng, Jia},
biburl = {https://www.bibsonomy.org/bibtex/2ba291dccd7c02381fe261d5fe61d15c4/dblp},
booktitle = {NIPS},
crossref = {conf/nips/2017},
editor = {Guyon, Isabelle and von Luxburg, Ulrike and Bengio, Samy and Wallach, Hanna M. and Fergus, Rob and Vishwanathan, S. V. N. and Garnett, Roman},
ee = {http://papers.nips.cc/paper/6871-premise-selection-for-theorem-proving-by-deep-graph-embedding},
interhash = {68ecda39778716fd53da9107a44307e3},
intrahash = {ba291dccd7c02381fe261d5fe61d15c4},
keywords = {dblp},
pages = {2786-2796},
timestamp = {2024-04-09T23:15:52.000+0200},
title = {Premise Selection for Theorem Proving by Deep Graph Embedding.},
url = {http://dblp.uni-trier.de/db/conf/nips/nips2017.html#WangTWD17},
year = 2017
}