M. Gebser - A Web Based Annotated Bibliography - Aigaion 2.0

BROWSE
EXPORT
- Export all publications
- Export author
SORT BY
- Author
- Title
- Type/Journal
- Year
- Recently added
SITE
- Help
- About this site
GUEST USER
Topic Subscribe
LOGIN
Name:

Password:

Deutsch, English, Nederlands, Norsk, <more...>

First name(s):	M.
Last name(s):	Gebser

M. Gebser, R. Kaminski, A. König and T. Schaub, Advances in \textit{gringo} Series 3, pages 345-351, to appear

M. Gebser, B. Kaufmann, A. Neumann and T. Schaub, Conflict-Driven Answer Set Solving, pages 386-392, to appear

processing time: 0.0460 seconds.