17 problem files from auction theory for first order theorem provers in TPTP format (2015)
Attributed to:
Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://github.com/formare/auctions/blob/master/tptp
Type: Other