MPG.eBooks - Search Results - "Théorie"

Cover Image

1

Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice

by Clerbout, Nicolas, Rahman, Shahid
Published 2015

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”