Skip to content

Semi-analytic Natural Number Series Induction.

Michael Siebers, Ute Schmid

Year2012
ProceedingsKI

Browse the full KI paper archive.