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:
Computing with Mathematical Arguments
Publication date:
2013
Citation:
AK13computing
Abstract:
-
In proceedings
Authors:
Jesse Alama
,
Reinhard Kahle
Editors:
Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel,,
Gregory Wheeler
Book title:
New Challenges to Philosophy of Science. Philosophy of Science in a European Perspective
Series:
-
Publisher:
Springer
Address:
-
Volume:
-
Pages:
9-22
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
Jesse Alama and Reinhard Kahle, Computing with Mathematical Arguments, in: Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel, and Gregory Wheeler (eds), New Challenges to Philosophy of Science. Philosophy of Science in a European Perspective, Springer, Pag. 9-22, 2013.
HTML:
<a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a> and <a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="author">Reinhard Kahle</a>, <b>Computing with Mathematical Arguments</b>, in: Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel, and <a href="/people/members/view.php?code=768e30c2109e32d4ad41104cf0167777" class="editor">Gregory Wheeler</a> (eds), <u>New Challenges to Philosophy of Science. Philosophy of Science in a European Perspective</u>, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Pag. 9-22, 2013.
BibTeX:
@inproceedings {AK13computing, author = {Jesse Alama and Reinhard Kahle}, editor = {Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel, and Gregory Wheeler}, title = {Computing with Mathematical Arguments}, booktitle = {New Challenges to Philosophy of Science. Philosophy of Science in a European Perspective}, publisher = {Springer}, pages = {9-22}, year = {2013}, }
Publication's urls
Full url:
/publications/view.php?code=1972fca54982c54d53aaa87d74f64ec0
Friendly url:
/publications/view.php?code=AK13computing
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