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):

Bjørner, Nikolaj
Sofronie-Stokkermans, Viorica

dblp
dblp

Not MPII Editor(s):

Bjørner, Nikolaj

BibTeX citekey*:

Sofronie-Stokkermans-cade-2011

Language:

English

Title, Conference

Title*:

Automated Deduction - CADE-23 : 23rd International Conference on Automated Deduction



Event Address*:

Wroclaw, Poland

Conference URL:

http://cade23.ii.uni.wroc.pl/

Event Start Date:

31 July 2011

Event End Date:

5 August 2011
08/05/2011

Event Date*
(no longer used):


Organization:


Publisher

Name*:

Springer

Publisher's URL:

http://





Address*:

Berlin

Publishing Year*:

2011

Vol, No, pp., Year

Series:

Lecture Notes in Artificial Intelligence

Volume:

6803

Number:


Month:

July

Pages*:

1-505

ISBN:

978-3-642-22437-9

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{Sofronie-Stokkermans-cade-2011,
EDITOR = {Bjørner, Nikolaj and Sofronie-Stokkermans, Viorica},
TITLE = {Automated Deduction - CADE-23 : 23rd International Conference on Automated Deduction},
PUBLISHER = {Springer},
YEAR = {2011},
VOLUME = {6803},
PAGES = {1--505},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Wroclaw, Poland},
MONTH = {July},
ISBN = {978-3-642-22437-9},
ISBN = {0302-9743},
DOI = {10.1007/978-3-642-22438-6},
}


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
10/06/2011 11:19:20 PM
Revision
1.
0.


Editor
Anja Becker
Viorica Sofronie-Stokkermans


Edit Date
16.03.2012 11:15:46
10/06/2011 11:19:20 PM


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