Proceedings Volume
@Proceedings
Tagungsband, Workshopband


Show entries of:

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

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Editor(s):

Sturm, Thomas
Zengler, Christoph

dblp
dblp

Not MPII Editor(s):

Zengler, Christoph

BibTeX citekey*:

SturmZengler2011

Language:

English

Title, Conference

Title*:

Automated Deduction in Geometry : 7th International Workshop, ADG 2008



Event Address*:

Shanghai, China

Conference URL:

http://adg2008.redlog.eu/

Event Start Date:

22 September 2008

Event End Date:

24 September 2008
09/24/2008

Event Date*
(no longer used):


Organization:


Publisher

Name*:

Springer

Publisher's URL:

http://www.springer.com/





Address*:

Berlin

Publishing Year*:

2011

Vol, No, pp., Year

Series:

Lecture Notes in Artificial Intelligence

Volume:

6301

Number:


Month:

May

Pages*:

1-225

ISBN:

978-3-642-21045-7

VG Wort Pages:


ISSN:

0302-9743



Abstract, Links, ©

Note:


LaTeX Abstract:


Categories / Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


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:

@PROCEEDINGS{SturmZengler2011,
EDITOR = {Sturm, Thomas and Zengler, Christoph},
TITLE = {Automated Deduction in Geometry : 7th International Workshop, ADG 2008},
PUBLISHER = {Springer},
YEAR = {2011},
VOLUME = {6301},
PAGES = {1--225},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Shanghai, China},
MONTH = {May},
ISBN = {978-3-642-21045-7},
ISBN = {0302-9743},
DOI = {10.1007/978-3-642-21046-4},
}


Entry last modified by Anja Becker, 03/16/2012
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)
[Library]
Created
01/17/2012 10:58:07 AM
Revision
1.
0.


Editor
Anja Becker
Thomas Sturm


Edit Date
16.03.2012 14:48:16
01/17/2012 10:58:07 AM


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