Skip to main navigation Skip to search Skip to main content

Computational Logic in Artificial Neural Networks

  • Dyckhoff, Roy (PI)

Project: Fellowship

  • 5 Conference contribution
  • 3 Article
  • 1 Chapter
Filter
Chapter

Search results

  • 2012

    Neural Networks for Proof-Pattern Recognition

    Komendantskaya, E. & Lichota, K., 2012, Artificial Neural Networks and Machine Learning -- ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II. Villa, A. E. P., Duch, W., Érdi, P., Masulli, F. & Palm, G. (eds.). Berlin, Heidelberg: Springer, p. 427-434 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter