Cover Image
Read Now

1
Published 2014
Springer International Publishing
Table of Contents: “... -- Mathematical Knowledge Management -- Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle...”