> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Induction of linear temporal logic programs Enthält: Literaturverz. S. 81 - 83 Beteiligte: Kolter, Robert [VerfasserIn] Erschienen: Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004 Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 330 Umfang: 85 S.; graph. Darst Sprache: Englisch RVK-Notation: SS 5550 : Universität Kaiserslautern: Fachbereich Informatik: Interner Bericht Schlagwörter: Forschungsbericht Entstehung: Anmerkungen: Literaturverz. S. 81 - 83 Weitere Bestandsnachweise 0 : Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik
Bereichsbibliothek DrePunct – Magazin Signatur: 2004 4 001071 Barcode: 31084100 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden