Neural Networks for Proof-Pattern Recognition

Ekaterina Komendantskaya, Kacper Lichota

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)
Original languageUndefined/Unknown
Title of host publicationArtificial Neural Networks and Machine Learning -- ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II
EditorsAlessandro E. P. Villa, Wlodzislaw Duch, Péter Érdi, Francesco Masulli, Günther Palm
Place of PublicationBerlin, Heidelberg
Number of pages8
ISBN (Print)978-3-642-33266-1
Publication statusPublished - 2012

Cite this