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:








Author, Editor

Editor(s):

Peltier, Nicolas
Sofronie-Stokkermans, Viorica

dblp
dblp

Not MPII Editor(s):

Peltier, Nicolas

BibTeX citekey*:

Peltier-Sofronie-Stokkermans-ftpceur-2010

Language:

English

Title, Conference

Title*:

First-Order Theorem Proving 2009



Event Address*:

Oslo, Norway

Conference URL:

http://www.mpi-inf.mpg.de/~sofronie/ftp09/

Event Start Date:

6 July 2009

Event End Date:

7 July 2010

Event Date*
(no longer used):


Organization:


Publisher

Name*:

Nicolas Peltier and Viorica Sofronie-Stokkermans (on CEUR-WS)

Publisher's URL:

http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/





Address*:

Aachen

Publishing Year*:

2009

Vol, No, pp., Year

Series:

CEUR-WS

Volume:

556

Number:


Month:


Pages*:

1-139

ISBN:


VG Wort Pages:


ISSN:

1613-0073



Abstract, Links, ©

Note:


LaTeX Abstract:


Categories / Keywords:


HyperLinks / References / URLs:

http://CEUR-WS.org/Vol-556/

Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

experts only

Appearance:

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



BibTeX Entry:

@PROCEEDINGS{Peltier-Sofronie-Stokkermans-ftpceur-2010,
EDITOR = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica},
TITLE = {First-Order Theorem Proving 2009},
PUBLISHER = {Nicolas Peltier and Viorica Sofronie-Stokkermans (on CEUR-WS)},
YEAR = {2009},
VOLUME = {556},
PAGES = {1--139},
SERIES = {CEUR-WS},
ADDRESS = {Oslo, Norway},
ISBN = {1613-0073},
}


Entry last modified by Viorica Sofronie-Stokkermans, 08/27/2010
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)
Viorica Sofronie-Stokkermans
Created
08/27/2010 04:45:19 PM
Revision
0.



Editor
Viorica Sofronie-Stokkermans



Edit Date
08/27/2010 04:45:19 PM



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