Journal Article
@Article
Artikel in Fachzeitschrift


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(s)

Author(s):

Peltier, Nicolas
Sofronie-Stokkermans, Viorica

dblp
dblp

Not MPG Author(s):

Peltier, Nicolas

BibTeX cite key*:

Sofronie-Stokkermans2012-jsc-ftp

Title

Title*:

First-order theorem proving: Foreword

Journal

Journal Title*:

Journal of Symbolic Computation

Journal's URL:

http://www.journals.elsevier.com/journal-of-symbolic-computation/

Download URL
for the article:

http://dx.doi.org/10.1016/j.jsc.2011.12.030

Language:

English

Publisher

Publisher's
Name:

Elsevier

Publisher's URL:

http://www.elsevier.de/

Publisher's
Address:

Amsterdam

ISSN:

0747-7171

Vol, No, pp, Date

Volume*:

47

Number:

9

Publishing Date:

September 2012

Pages*:

1009-1010

Number of
VG Pages:


Page Start:

1009

Page End:

1010

Sequence Number:


DOI:

10.1016/j.jsc.2011.12.030

Note, Abstract, ©

Note:


(LaTeX) Abstract:


URL for the Abstract:


Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Internal

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:

@ARTICLE{Sofronie-Stokkermans2012-jsc-ftp,
AUTHOR = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica},
TITLE = {First-order theorem proving: Foreword},
JOURNAL = {Journal of Symbolic Computation},
PUBLISHER = {Elsevier},
YEAR = {2012},
NUMBER = {9},
VOLUME = {47},
PAGES = {1009--1010},
ADDRESS = {Amsterdam},
MONTH = {September},
ISBN = {0747-7171},
DOI = {10.1016/j.jsc.2011.12.030},
}


Entry last modified by Anja Becker, 03/14/2013
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
02/26/2013 09:02:43 PM
Revisions
3.
2.
1.
0.
Editor(s)
Anja Becker
Anja Becker
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
14.03.2013 13:11:03
07.03.2013 14:08:05
02/26/2013 09:03:33 PM
02/26/2013 09:02:43 PM