"Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs."

Christoph Benzmüller, Marvin R. G. Schiller, Jörg H. Siekmann (2011)

Details and statistics

DOI: 10.1007/978-3-540-89408-7_13

access: closed

type: Part in Book or Collection

metadata version: 2017-05-16

a service of  Schloss Dagstuhl - Leibniz Center for Informatics