MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Weydert, Emildblp
Editor(s):
Niemelä, Ilkkadblp
BibTeX cite key*:
Weydert96b
Title, Booktitle
Title*:
Default Quantifier Logic
Booktitle*:
Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Budapest, Hungary
Language:
English
Event Date*
(no longer used):
August, 12
Organization:
Event Start Date:
16 May 2024
Event End Date:
16 May 2024
Publisher
Name*:
Universität Koblenz-Landau, Institut für Informatik
URL:
Address*:
Koblenz-Landau, Germany
Type:
Vol, No, Year, pp.
Series:
Fachberichte Informatik
Volume:
18-96
Number:
Month:
September
Pages:
-
Year*:
1996
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
HyperLinks / References / URLs:
http://www.uni-koblenz.de/universitaet/fb/fb4/publications/GelbeReihe/RR-18-96/proceedings.html
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:
@INPROCEEDINGS{Weydert96b,
AUTHOR = {Weydert, Emil},
 EDITOR = {Niemel{\"a}, Ilkka},
 TITLE = {Default Quantifier Logic},
 BOOKTITLE = {Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems},
 PUBLISHER = {Universität Koblenz-Landau, Institut für Informatik},
 YEAR = {1996},
 VOLUME = {18-96},
 PAGES = {--},
 SERIES = {Fachberichte Informatik},
 ADDRESS = {Budapest, Hungary},
 MONTH = {September},
}

Entry last modified by Uwe Brahm, 03/12/2010
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)
Emil Weydert		Created
03/13/1997 08:43:00 PM
Revisions
3.
2.
1.
0.
Editor(s)
Uwe Brahm
Uwe Brahm
Emil Weydert
Emil Weydert
Edit Dates
16/03/97 01:07:29
16/03/97 01:05:22
13/03/97 20:46:10
13/03/97 20:43:01