Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ...Applications for Digital Libraries in Language Learning and the Professional Development...

2
Published 2015
Springer International Publishing
Table of Contents: ... Retrievability -- A Formal Approach to Effectiveness Metrics for Information Access: Retrieval, Filtering...