Electronic Proceedings Article
@InProceedings
Internet-Beitrag in Tagungsband, Workshop


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

Author(s):

Sofronie-Stokkermans, Viorica

dblp



Editor(s):





BibTeX cite key*:

Sofronie-Stokkermans-esslli09

Title, Conference

Title*:

Reasoning in Complex Theories and Applications. Advanced Lecture

Booktitle*:

ESSLLI 2009 : European Summer School in Logic, Language and Information

Event Address*:

Bordeaux, France

URL of the conference:


Event Date*:
(no longer used):


URL for downloading the paper:

http://esslli2009.labri.fr/documents/sofronie-lecture-esslli-09.pdf

Event Start Date:

20 July 2009

Event End Date:

31 July 2009

Language:

English

Organization:


Publisher

Publisher's Name:

ESSLLI

Publisher's URL:


Address*:

s.l.

Type:


Vol, No, pp., Year

Series:


Volume:


Number:


Month:


Pages:

1-64



Sequence Number:


Year*:

2009

ISBN/ISSN:






Abstract, Links, ©

URL for Reference:


Note:


(LaTeX) Abstract:


URL for the Abstract:




Tags, Categories, Keywords:


HyperLinks / References / URLs:

http://esslli2009.labri.fr/documents/cdrom.zip
file: sofronie-lecture-esslli-09.pdf

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:
@INPROCEEDINGS{Sofronie-Stokkermans-esslli09,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {Reasoning in Complex Theories and Applications. Advanced Lecture},
BOOKTITLE = {ESSLLI 2009 : European Summer School in Logic, Language and Information},
PUBLISHER = {ESSLLI},
YEAR = {2009},
PAGES = {1--64},
ADDRESS = {Bordeaux, France},
}


Entry last modified by Stephanie Müller, 03/15/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
09/25/2009 03:49:08 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Stephanie Müller
Manuel Lamotte-Schubert
Anja Becker
Anja Becker
Anja Becker
Edit Dates
15.03.2012 11:55:34
16.03.2011 15:22:43
25.03.2010 13:24:33
25.03.2010 13:24:18
09/25/2009 03:49:08 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section