Automated Reasoning

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationEncyclopedia of Social Network Analysis and Mining
EditorsReda Alhajj, Jon G. Rokne
Place of PublicationNew York
PublisherSpringer
Edition2nd
ISBN (Electronic)978-1-4939-7131-2
ISBN (Print)978-1-4939-7130-5
DOIs
Publication statusPublished - 2018

Cite this