###### Options

2014

Conference Paper

Titel

2014

Conference Paper

Titel
# Set theory or higher order logic to represent auction concepts in Isabelle?