Search alternatives:
automata » automated, automatic
Cover Image
Read Now

1
by Primiero, Giuseppe
Published 2008
Springer Netherlands
Table of Contents: “...Constructive Type Theory: Foundation and Formalization -- Analyticity and Information -- Formal...”