Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
Freek {W}iedijk (Ed.), {T}he Seventeen Provers of the World
November 2007
Kah07R17
-
Journal
Reinhard Kahle
Studia Logica
-
-
87
2-3
369-374
-
-
Book review
http://dx.doi.org/10.1007/s11225-007-9093-2
Export formats
Reinhard Kahle, Freek {W}iedijk (Ed.), {T}he Seventeen Provers of the World, Studia Logica, Vol. 87, No. 2-3, Pag. 369-374, <i>Book review</i>, (http://dx.doi.org/10.1007/s11225-007-9093-2), November 2007.
<b><a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="author">Reinhard Kahle</a></b>, <u>Freek {W}iedijk (Ed.), {T}he Seventeen Provers of the World</u>, Studia Logica, Vol. 87, No. 2-3, Pag. 369-374, <i>Book review</i>, (<a href="http://dx.doi.org/10.1007/s11225-007-9093-2" target="_blank">url</a>), November 2007.
@article {Kah07R17, author = {Reinhard Kahle}, title = {Freek {W}iedijk (Ed.), {T}he Seventeen Provers of the World}, journal = {Studia Logica}, volume = {87}, number = {2-3}, pages = {369-374}, note = {Book review}, url = {http://dx.doi.org/10.1007/s11225-007-9093-2}, month = {November}, year = {2007}, }
Publication's urls
/publications/view.php?code=bfe44074cf86af4fd88e34085b239dde
/publications/view.php?code=Kah07R17

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT