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

1
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Wikis -- Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant -- A Proximity-Based...”