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: 1.

Walther, Christoph
Hrsg.: Gabbay, D. M. ; Hogger, C. J. ; Robinson, J. A. (1994)
Mathematical Induction.
In: Handbook of Logic in Artificial Intelligence and Logic Programming - Volume 2: Deduction Methodologies
Buchkapitel, Bibliographie

Diese Liste wurde am Sat Dec 21 03:03:48 2024 CET generiert.