Journal Article
@Article
Artikel in Fachzeitschrift

Show entries of:

this year (2021) | last year (2020) | two years ago (2019) | 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