The Seventeen Provers of the World. Wiedijk, F., editor Volume 3600 of Lecture Notes in Artificial Intelligence, Springer.
bibtex   
@book{freek2006d,
	Date-Added = {2014-11-16 22:04:07 +0000},
	Date-Modified = {2014-11-16 22:06:00 +0000},
	Editor = {Freek Wiedijk},
	Foreword = {Dana S. Scott},
	Publisher = {Springer},
	Series = {Lecture Notes in Artificial Intelligence},
	Title = {The Seventeen Provers of the World},
	Volume = {3600}}

Downloads: 0