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

1
by Harrison, John
Published 1998
Springer London
Table of Contents: “...8.2 The formalization of mathematics -- 8.3 The LCF approach to theorem proving -- 8.4 Computer...”
Cover Image
Read Now

2
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... -- Definability and Transformations for Cost Logics and Automatic Structures -- Generalised Lyndon-Schützenberger...”
Cover Image
Read Now

3
Published 2021
Springer International Publishing
Table of Contents: “... Arithmetic -- Pistone Learning Languages with Decidable Hypotheses -- Robust Online Algorithms for Dynamic...”