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
Volume	3600
Publication status	Published - 2005

Name	Lecture Notes in Artificial Intelligence (LNAI)

Fields of science

@inbook{d7d7c6c6b9d9423ca0bcbef7ad60a1e7,

title = "Theorema",

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

year = "2005",

language = "English",

volume = "3600",

series = "Lecture Notes in Artificial Intelligence (LNAI)",

publisher = "Springer Berlin Heidelberg New York",

editor = "\{Freek Wiedijk\}",

booktitle = "The Seventeen Provers of the World",

}