• Path
  • Home
  • News
  • The Centre
  • Research Groups
  • People
  • Projects
  • Publications
  • Tech Reports
  • Open Positions
  • Events
  • How to get to CISUC

Member Access

People

Walther Neuper

Email



Export publications Citations
Export publications BibTeX

Edited Books

2019

(1 publication)
  • Quaresma, P. and Neuper, W. , Proceedings of the 7th International Workshop on Theorem proving components for Educational software , vol. 290, 2019 [ DOI ]

2018

(1 publication)
  • Quaresma, P. and Neuper, W. , Proceedings of the 6th International Workshop on Theorem proving components for Educational software , "Proceedings 7th International Workshop on Theorem proving components for Educational software ", vol. 267, 2018 [ DOI ]

Tech Report

2016

(1 publication)
  • Quaresma, P. and Neuper, W. , "Proceedings of Workshop on CTP Components for Educational Software (THedu'15)", 2016

2014

(2 publications)
  • Paiva, V.d. and Neuper, W. and Quaresma, P. and Retoré, C. and Moss, L.S. and Saludes, J. , "Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS'14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014)", 2014 [ DOI ]
  • England, M. and Davenport, J. and Kohlhase, A. and Kohlhase, M. and Libbrecht, P. and Neuper, W. and Quaresma, P. and Sexton, A.P. and Sojka, P. and Urban, J. and Watt, S.M. , "Proceedings of the Workshops and Work in Progress at CICM 2014", 2014 [ DOI ]



 
UC.PT
University of Coimbra 2025
Portugal - WEST GMT