Automated Reasoning

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

Original language	English
Title of host publication	Hagenberg Research
Editors	Buchberger, B.; Affenzeller, M.; Ferscha, A.; Haller, M.; Jebelean, T.; Klement, E.P.; Paule, P.; Po
Publisher	Springer Dordrecht Heidelberg London New York
Pages	63-101
Number of pages	39
ISBN (Print)	978-3-642-02126-8
Publication status	Published - 2009

Fields of science

@inbook{c1d4d08ebf4647dba2a9a61a3a3522e1,

title = "Automated Reasoning",

author = "Tudor Jebelean and Bruno Buchberger and Teimuraz Kutsia and Nikolaj Popov and Wolfgang Schreiner and Wolfgang Windsteiger",

year = "2009",

language = "English",

isbn = "978-3-642-02126-8",

pages = "63--101",

editor = "\{Buchberger, B.; Affenzeller, M.; Ferscha, A.; Haller, M.; Jebelean, T.; Klement, E.P.; Paule, P.; Po\}",

booktitle = "Hagenberg Research",

publisher = "Springer Dordrecht Heidelberg London New York",

}

TY - CHAP

T1 - Automated Reasoning

AU - Jebelean, Tudor

AU - Buchberger, Bruno

AU - Kutsia, Teimuraz

AU - Popov, Nikolaj

AU - Schreiner, Wolfgang

AU - Windsteiger, Wolfgang

PY - 2009

Y1 - 2009

UR - http://www.springer.com/computer/programming/book/978-3-642-02126-8

M3 - Chapter

SN - 978-3-642-02126-8

SP - 63

EP - 101

BT - Hagenberg Research

A2 - Buchberger, B.; Affenzeller, M.; Ferscha, A.; Haller, M.; Jebelean, T.; Klement, E.P.; Paule, P.; Po, null

PB - Springer Dordrecht Heidelberg London New York

ER -