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

Peltier, Nicolas
Sofronie-Stokkermans, Viorica

dblp
dblp

Not MPII Editor(s):

Peltier, Nicolas

BibTeX citekey*:

ftp09

Language:

English

Title, Conference

Title*:

First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving, Proceedings



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 2009
07/07/2009

Event Date*
(no longer used):


Organization:


Publisher

Name*:

University of Oslo/Department of Informatics

Publisher's URL:

http://





Address*:

Oslo, Norway

Publishing Year*:

2009

Vol, No, pp., Year

Series:

University Oslo/Department of Informatics: Research Report

Volume:

386

Number:


Month:

June

Pages*:

151

ISBN:

82-7368-347-8

VG Wort Pages:


ISSN:

0806-3036



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{ftp09,
EDITOR = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica},
TITLE = {First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving, Proceedings},
PUBLISHER = {University of Oslo/Department of Informatics},
YEAR = {2009},
VOLUME = {386},
PAGES = {151},
SERIES = {University Oslo/Department of Informatics: Research Report},
ADDRESS = {Oslo, Norway},
MONTH = {June},
ISBN = {82-7368-347-8},
ISBN = {0806-3036},
}


Entry last modified by Manuel Lamotte-Schubert, 03/16/2011
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
06/26/2009 04:00:17 PM
Revisions
2.
1.
0.

Editor(s)
Manuel Lamotte-Schubert
Anja Becker
Viorica Sofronie-Stokkermans

Edit Dates
16.03.2011 15:14:46
25.03.2010 12:46:52
06/26/2009 04:00:17 PM

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