e CIG: PC-Member


PC-Member

Author:Dix, Jürgen
Title:CL 2000 - stream on Automated Deduction
Month:July
Year:2000
Address:London, UK
Url:http://www.cs.bham.ac.uk/~mmk/AutoDed-CL00/
BibTeX-Code:
@pcmember{Dix:CL2:00:PCmember,
author={Dix, Jürgen},
title={CL 2000 - stream on Automated Deduction},
month={jul},
year={2000},
address={London, UK},
url={http://www.cs.bham.ac.uk/~mmk/AutoDed-CL00/},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019