Theorema

Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

Originalsprache	Englisch
Titel	The Seventeen Provers of the World
Herausgeber*innen	Freek Wiedijk
Verlag	Springer Berlin Heidelberg New York
Seiten	96 - 107
Seitenumfang	12
Band	3600
ISBN (Print)	3-540-30704-4
Publikationsstatus	Veröffentlicht - 2006

Wissenschaftszweige

@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",

}