TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
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