Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
Axioms as Hypotheses
Publication date:
2015
Citation:
Kah25Hyp
Abstract:
-
In proceedings
Authors:
Reinhard Kahle
Editors:
Thomas Piecha, Peter Schroeder-Heister
Book title:
Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen
Series:
-
Publisher:
University of Tübingen
Address:
-
Volume:
-
Pages:
47-54
ISBN:
-
ISSN:
-
Note:
-
Url address:
http://dx.doi.org/10.15496/publikation-415
Export formats
Plain text:
Reinhard Kahle, Axioms as Hypotheses, in: Thomas Piecha and Peter Schroeder-Heister (eds), Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen, University of Tübingen, Pag. 47-54, (http://dx.doi.org/10.15496/publikation-415), 2015.
HTML:
<a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="author">Reinhard Kahle</a>, <b>Axioms as Hypotheses</b>, in: Thomas Piecha and Peter Schroeder-Heister (eds), <u>Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen</u>, University of Tübingen, Pag. 47-54, (<a href="http://dx.doi.org/10.15496/publikation-415" target="_blank">url</a>), 2015.
BibTeX:
@inproceedings {Kah25Hyp, author = {Reinhard Kahle}, editor = {Thomas Piecha and Peter Schroeder-Heister}, title = {Axioms as Hypotheses}, booktitle = {Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, T{\"u}bingen}, publisher = {University of T{\"u}bingen}, pages = {47-54}, url = {http://dx.doi.org/10.15496/publikation-415}, year = {2015}, }
Publication's urls
Full url:
/publications/view.php?code=ab26f9058f88c34d93445f24c4087060
Friendly url:
/publications/view.php?code=Kah25Hyp
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541