Encyclopedia of Social Network Analysis and Mining

2018 Edition
| Editors: Reda Alhajj, Jon Rokne

Automated Deduction

Reference work entry
DOI: https://doi.org/10.1007/978-1-4939-7131-2_100047

Copyright information

© Springer Science+Business Media LLC, part of Springer Nature 2018