e CIG: PC-Member


PC-Member

Author:Dix, Jürgen
Title:ATPL at TABLEAUX '07: Workshop on Agents, Theorem Proving and Logic
Month:July
Year:2007
Address:Aix-en-Provence, FR
Url:http://www.lif-sud.univ-mrs.fr/~schwind/Committee.html
BibTeX-Code:
@pcmember{Dix:ATPL:07:PCmember,
author={Dix, Jürgen},
title={ATPL at TABLEAUX '07: Workshop on Agents, Theorem Proving and Logic},
month={jul},
year={2007},
address={Aix-en-Provence, FR},
url={http://www.lif-sud.univ-mrs.fr/~schwind/Committee.html},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019