MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Weidenbach, Christoph
Schmidt, Renate
Hillenbrand, Thomas
Rusev, Rostislav
Topic, Dalibor
dblp
dblp
dblp
dblp
dblp
Not MPG Author(s):
Schmidt, Renate
Editor(s):
Pfenning, Frankdblp
Not MPII Editor(s):
Pfenning, Frank
BibTeX cite key*:
WeidenbachSchmidtEtAl2007cade
Title, Booktitle
Title*:
System Description: Spass Version 3.0
Booktitle*:
Automated Deduction --- CADE-21 : 21st International Conference on Automated Deduction
Event, URLs
Conference URL::
Downloading URL:
http://dx.doi.org/10.1007/978-3-540-73595-3_38
Event Address*:
Bremen, Germany
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
11 March 2007
Event End Date:
11 March 2007
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
4603
Number:
Month:
Pages:
514-520
Year*:
2007
VG Wort Pages:
ISBN/ISSN:
3-540-73594-6
Sequence Number:
DOI:
10.1007/978-3-540-73595-3_38
Note, Abstract, ©
Download
Access Level:
Internal

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Automation of Logic
Appearance:



BibTeX Entry:

@INPROCEEDINGS{WeidenbachSchmidtEtAl2007cade,
AUTHOR = {Weidenbach, Christoph and Schmidt, Renate and Hillenbrand, Thomas and Rusev, Rostislav and Topic, Dalibor},
EDITOR = {Pfenning, Frank},
TITLE = {System Description: Spass Version 3.0},
BOOKTITLE = {Automated Deduction --- CADE-21 : 21st International Conference on Automated Deduction},
PUBLISHER = {Springer},
YEAR = {2007},
VOLUME = {4603},
PAGES = {514--520},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Bremen, Germany},
ISBN = {3-540-73594-6},
DOI = {10.1007/978-3-540-73595-3_38},
}


Entry last modified by Uwe Brahm, 08/04/2014
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
03/11/2007 07:20:46 PM
Revisions
8.
7.
6.
5.
4.
Editor(s)
Uwe Brahm
Uwe Brahm
Anja Becker
Anja Becker
Anja Becker
Edit Dates
03/01/2013 10:42:29 AM
03/28/2008 06:20:09 PM
28.02.2008 09:42:42
28.02.2008 09:42:03
28.02.2008 09:40:55