Cover Image
Read Now

1
by Ayala-Rincón, Mauricio, de Moura, Flávio L. C.
Published 2017
Springer International Publishing
Table of Contents: “...Foreword. - Preface -- Introduction -- Derivation and Proofs in the Propositional Logic...”
Cover Image
Read Now

2
Published 2017
Springer International Publishing
Table of Contents: “...-Party Computation -- FoCaLiZe and Dedukti to the Rescue for Proof Interoperability -- A Formal Proof...”