Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topic, Dalibor

dblp
dblp
dblp
dblp
dblp
dblp
dblp
dblp



Editor(s):

Ganzinger, Harald

dblp



BibTeX cite key*:

Weidenbach1999

Title, Booktitle

Title*:

System Description: SPASS Version 1.0.0

Booktitle*:

Automated deduction (CADE-16) : 16th international conference on automated deduction

Event, URLs

URL of the conference:

http://www/mpi-sb.mpg.de/cade-16

URL for downloading the paper:


Event Address*:

Trento, Italy

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

7 July 1999

Event End Date:

10 July 1999

Publisher

Name*:

Springer

URL:

http://www.springer-ny.com

Address*:

New York, NY, USA

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

1632

Number:


Month:

July

Pages:

378-382

Year*:

1999

VG Wort Pages:

25

ISBN/ISSN:

3-540-66222-7

Sequence Number:


DOI:




Note, Abstract, ©





Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Computer Graphics Group

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{Weidenbach1999,
AUTHOR = {Weidenbach, Christoph and Afshordel, Bijan and Brahm, Uwe and Cohrs, Christian and Engel, Thorsten and Keen, Enno and Theobalt, Christian and Topic, Dalibor},
EDITOR = {Ganzinger, Harald},
TITLE = {System Description: SPASS Version 1.0.0},
BOOKTITLE = {Automated deduction (CADE-16) : 16th international conference on automated deduction},
PUBLISHER = {Springer},
YEAR = {1999},
VOLUME = {1632},
PAGES = {378--382},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Trento, Italy},
MONTH = {July},
ISBN = {3-540-66222-7},
}


Entry last modified by Christine Kiesel, 03/03/2007
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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)
Christian Theobalt
Created
12/28/2004 05:19:59 PM
Revisions
2.
1.
0.

Editor(s)
Christine Kiesel
Christine Kiesel
Christian Theobalt

Edit Dates
03.03.2007 16:01:20
30.05.2005 19:18:05
12/28/2004 05:19:59 PM

Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section