Theorema

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

Original language	English
Title of host publication	The Seventeen Provers of the World
Editors	Freek Wiedijk
Publisher	Springer Berlin Heidelberg New York
Pages	96 - 107
Number of pages	12
Volume	3600
ISBN (Print)	3-540-30704-4
Publication status	Published - 2006

Fields of science

@inbook{b6088c138a9a4d7f95ee5a0dd42e5cad,

title = "Theorema",

author = "Wolfgang Windsteiger and Bruno Buchberger and Markus Rosenkranz",

year = "2006",

language = "English",

isbn = "3-540-30704-4",

volume = "3600",

pages = "96 -- 107",

editor = "{Freek Wiedijk}",

booktitle = "The Seventeen Provers of the World",

publisher = "Springer Berlin Heidelberg New York",

}