MPG.eBooks - Search Results - ((((statistical services) OR (statistical survey))) or (statistical inferences))

Search alternatives:
statistical inferences » statistical inference , statistical convergence , statistical independence
statistical services » statistical studies
statistical survey » statistical society , statistical shape , statistical study

Cover Image

1

Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Published 2017

Springer International Publishing

Table of Contents: “...: An Introduction to the Hipster System -- Automating Formalization by Statistical and Semantic Parsing...”