Blättern nach Person
 | Ebene hoch |
Springe zu: 1994
Anzahl der Einträge: 1.
1994
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
Drucken
Impressum