e CIG: PC-Member


PC-Member

Author:Dix, Jürgen
Title:FLAIRS '96 - Workshop on Controlling Search in Automated Reasoning Systems
Month:January
Year:1996
Address:Key West, FL, USA
Url:http://www.cis.ufl.edu/~ddd/FLAIRS/FLAIRS-96/
BibTeX-Code:
@pcmember{Dix:FLAIRS:96:PCmember,
author={Dix, Jürgen},
title={FLAIRS '96 - Workshop on Controlling Search in Automated Reasoning Systems},
month={jan},
year={1996},
address={Key West, FL, USA},
url={http://www.cis.ufl.edu/~ddd/FLAIRS/FLAIRS-96/},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019