External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Semi-analytic Natural Number Series Induction

Michael Siebers, Ute Schmid. Semi-analytic Natural Number Series Induction. In Birte Glimm, Antonio Krüger, editors, KI 2012: Advances in Artificial Intelligence - 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings. Volume 7526 of Lecture Notes in Computer Science, pages 249-252, Springer, 2012. [doi]

Authors

Michael Siebers

This author has not been identified. Look up 'Michael Siebers' in Google

Ute Schmid

This author has not been identified. Look up 'Ute Schmid' in Google
runs on