MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Weidenbach, Christoph
Dimova, Dilyana
Fietzke, Arnaud
Suda, Martin
Wischnewski, Patrick
dblp
dblp
dblp
dblp
dblp
Not MPG Author(s):
Kumar, Rohit
Editor(s):
Schmidt, Renate A.dblp
Not MPII Editor(s):
Schmidt, Renate A.
BibTeX cite key*:
WeidenbachEtAlSpass2009
Title, Booktitle
Title*:
SPASS Version 3.5
Booktitle*:
Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction
Event, URLs
Conference URL::
Downloading URL:
http://dx.doi.org/10.1007/978-3-642-02959-2_10
Event Address*:
Montreal, Canada
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
2 August 2009
Event End Date:
7 August 2009
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
5663
Number:
Month:
August
Pages:
140-145
Year*:
2009
VG Wort Pages:
ISBN/ISSN:
978-3-642-02958-5
Sequence Number:
DOI:
10.1007/978-3-642-02959-2_10
Note, Abstract, ©
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Automation of Logic
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{WeidenbachEtAlSpass2009,
AUTHOR = {Weidenbach, Christoph and Dimova, Dilyana and Fietzke, Arnaud and Suda, Martin and Wischnewski, Patrick},
EDITOR = {Schmidt, Renate A.},
TITLE = {{SPASS} Version 3.5},
BOOKTITLE = {Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction},
PUBLISHER = {Springer},
YEAR = {2009},
VOLUME = {5663},
PAGES = {140--145},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Montreal, Canada},
MONTH = {August},
ISBN = {978-3-642-02958-5},
DOI = {10.1007/978-3-642-02959-2_10},
}


Entry last modified by Anja Becker, 03/01/2013
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
09/07/2009 02:39:33 PM
Revisions
2.
1.
0.

Editor(s)
Anja Becker
Anja Becker
Christoph Weidenbach

Edit Dates
01.03.2013 12:23:44
25.03.2010 13:56:46
09/07/2009 02:39:33 PM