TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 2.

Walther, Christoph
Hrsg.: Hölldobler, S. (2000)
Criteria for termination.
In: Intellectics and computational logic: Papers in honor of Wolfgang Bibel
doi: 10.1007/978-94-015-9383-0
Buchkapitel, Bibliographie

Hölldobler, S. ; Thielscher, (1995)
Computing change and specifity with equational logic programs.
In: Annals of mathematics and artificial intelligence. 14 (1995), S. 99-133
Artikel, Bibliographie

Diese Liste wurde am Sat Nov 16 04:17:11 2024 CET generiert.