Studia Logica

, Volume 87, Issue 2–3, pp 369–374 | Cite as

Freek Wiedijk (Ed.), The Seventeen Provers of the World

Springer, Series: Lecture Notes in Computer Science, Vol. 3600, 2006, XVI, 159 pp., Softcover ISBN: 978-3-540-30704-4, dimensions (in inches): 9.3 x 6.1 x 0.5 , US $39.95.
Article
  • 57 Downloads

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media B.V. 2007

Authors and Affiliations

  1. 1.CENTRIA, UNL and Departamento de MatemáticaUniversidade de CoimbraCoimbraPortugal

Personalised recommendations