e CIG: PC-Member


PC-Member

Author:Dix, Jürgen
Title:LPAR '01, 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Month:
Year:2001
Address:Havanna, CU
Url:http://www.cs.man.ac.uk/~voronkov/LPAR/2001/lpar2001.html
BibTeX-Code:
@pcmember{Dix:LPAR:01:PCmember,
author={Dix, Jürgen},
title={LPAR '01, 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
month={dec},
year={2001},
address={Havanna, CU},
url={http://www.cs.man.ac.uk/~voronkov/LPAR/2001/lpar2001.html},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019