e Institut für Informatik: Komitee-Aktivitäten

Informatik an der TU Clausthal > Forschung > Komitee-Aktivitäten

Komitee-Aktivitäten

Autor:Dix, Jürgen
Titel:FLAIRS '96 - Workshop on Controlling Search in Automated Reasoning Systems
Monat:Januar
Jahr:1996
Addresse: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/},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019