Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
languages » language
Cover Image
Read Now

1
Published 2014
Springer International Publishing
Table of Contents: “... for General Intelligence -- Languages, Specification Approaches and Toolkits -- Learning, and Learning Theory...”
Cover Image
Read Now

2
Published 2015
Springer International Publishing
Table of Contents: “... for Probabilistic Languages -- Scene Based Reasoning -- Anchoring Knowledge in Interaction: Towards a harmonic...”
Cover Image
Read Now

3
Published 2012
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”