TU Darmstadt / ULB / TUbiblio

Extending elementary formal systems

Lange, Steffen ; Grieser, Gunter ; Jantke, Klaus P. :
Extending elementary formal systems.
In: International Conference on Algorithmic Learning Theory <12, 2001>: Proceedings. Hrsg.: N. Abe [u.a.]. - Berlin [u.a.]: Springer, 2001 (Lecture notes in artificial intelligence; 2225). S. 332-347 . Springer , Berlin [u.a.]
[Konferenz- oder Workshop-Beitrag], (2001)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2001
Autor(en): Lange, Steffen ; Grieser, Gunter ; Jantke, Klaus P.
Titel: Extending elementary formal systems
Sprache: Deutsch
Reihe: International Conference on Algorithmic Learning Theory <12, 2001>: Proceedings. Hrsg.: N. Abe [u.a.]. - Berlin [u.a.]: Springer, 2001 (Lecture notes in artificial intelligence; 2225). S. 332-347
Ort: Berlin [u.a.]
Verlag: Springer
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 20 Nov 2008 08:15
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen