Automated Reasoning

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Encyclopedia of Social Network Analysis and Mining
Editors	Reda Alhajj, Jon G. Rokne
Place of Publication	New York
Publisher	Springer
Edition	2nd
ISBN (Electronic)	978-1-4939-7131-2
ISBN (Print)	978-1-4939-7130-5
DOIs	https://doi.org/10.1007/978-1-4614-7163-9_110188-1
Publication status	Published - 2018

Access to Document

@inbook{9426638c678f4ddc9de4f341d5e00559,

title = "Automated Reasoning",

author = "Matthias Knorr",

year = "2018",

doi = "10.1007/978-1-4614-7163-9_110188-1",

language = "English",

isbn = "978-1-4939-7130-5",

editor = "Reda Alhajj and Rokne, {Jon G.}",

booktitle = "Encyclopedia of Social Network Analysis and Mining",

publisher = "Springer",

edition = "2nd",

}

TY - CHAP

T1 - Automated Reasoning

AU - Knorr, Matthias

PY - 2018

Y1 - 2018

UR - https://www.researchgate.net/publication/319904657_Automated_Reasoning

U2 - 10.1007/978-1-4614-7163-9_110188-1

DO - 10.1007/978-1-4614-7163-9_110188-1

M3 - Chapter

SN - 978-1-4939-7130-5

BT - Encyclopedia of Social Network Analysis and Mining

A2 - Alhajj, Reda

A2 - Rokne, Jon G.

PB - Springer

CY - New York

ER -