Cover Image
Read Now

1
Published 2018
Springer International Publishing
Table of Contents: “... checking against arbitrary public announcement logic: A first-order-logic prover approach...”