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
PCC 2007, Proof, Computation, Complexity, International Workshop, Swansea, 13-14 April, 2007
April 2007
Kah07ppc
-
Book edition
Arnold Beckmann, Ulrich Berger, Birgit Elbl, Reinhard Kahle, Karl-Heinz Niggl, Oliver Kullmann, Monika Seisenberger, Anton Setzer
-
Computer Science Report Series, CSR 3-2007
University of Wales Swansea
-
-
-
-
http://cs.swan.ac.uk/reports/yr2007/CSR3-2007.pdf
Export formats
Arnold Beckmann and Ulrich Berger and Birgit Elbl and Reinhard Kahle and Karl-Heinz Niggl and Oliver Kullmann and Monika Seisenberger and Anton Setzer (eds), PCC 2007, Proof, Computation, Complexity, International Workshop, Swansea, 13-14 April, 2007 of Computer Science Report Series, CSR 3-2007, University of Wales Swansea, (http://cs.swan.ac.uk/reports/yr2007/CSR3-2007.pdf), April 2007.
Arnold Beckmann, Ulrich Berger, Birgit Elbl, <a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="editor">Reinhard Kahle</a>, Karl-Heinz Niggl, Oliver Kullmann, Monika Seisenberger and Anton Setzer (eds), <u>PCC 2007, Proof, Computation, Complexity, International Workshop, Swansea, 13-14 April, 2007</u> of Computer Science Report Series, CSR 3-2007, University of Wales Swansea, (<a href="http://cs.swan.ac.uk/reports/yr2007/CSR3-2007.pdf" target="_blank">url</a>), April 2007.
@book {Kah07ppc, editor = {Arnold Beckmann and Ulrich Berger and Birgit Elbl and Reinhard Kahle and Karl-Heinz Niggl and Oliver Kullmann and Monika Seisenberger and Anton Setzer}, title = {PCC 2007, Proof, Computation, Complexity, International Workshop, Swansea, 13-14 April, 2007}, series = {Computer Science Report Series, CSR 3-2007}, publisher = {University of Wales Swansea}, url = {http://cs.swan.ac.uk/reports/yr2007/CSR3-2007.pdf}, month = {April}, year = {2007}, }
Publication's urls
/publications/view.php?code=3630ae4acec8df4ae92aace19d097025
/publications/view.php?code=Kah07ppc

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