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:CL 2000 - stream on Automated Deduction
Monat:Juli
Jahr:2000
Addresse: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/},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019