Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 reference/bdt/PanD19
%A Pan, Jeff Z.
%A Du, Jianfeng
%B Encyclopedia of Big Data Technologies
%D 2019
%E Sakr, Sherif
%E Zomaya, Albert Y.
%I Springer
%K dblp
%T Automated Reasoning.
%U http://dblp.uni-trier.de/db/reference/bdt/1.html#PanD19
%@ 978-3-319-77524-1
@incollection{reference/bdt/PanD19,
added-at = {2019-02-14T00:00:00.000+0100},
author = {Pan, Jeff Z. and Du, Jianfeng},
biburl = {https://www.bibsonomy.org/bibtex/26d58a3487dc65106a5fd3e7978b6e755/dblp},
booktitle = {Encyclopedia of Big Data Technologies},
crossref = {reference/bdt/2019},
editor = {Sakr, Sherif and Zomaya, Albert Y.},
ee = {https://doi.org/10.1007/978-3-319-63962-8_314-1},
interhash = {d66a1889f0a2ed60b14c943ee16f09c2},
intrahash = {6d58a3487dc65106a5fd3e7978b6e755},
isbn = {978-3-319-77524-1},
keywords = {dblp},
publisher = {Springer},
timestamp = {2019-02-15T11:39:51.000+0100},
title = {Automated Reasoning.},
url = {http://dblp.uni-trier.de/db/reference/bdt/1.html#PanD19},
year = 2019
}