research

Multi-Output Ranking for Automated Reasoning

Authors
Publication date
1 January 2011
Publisher
s.n. : SciTePress

Abstract

Contains fulltext : 92097.pdf (preprint version ) (Open Access)International Conference on Knowledge Discovery and Information Retrieval (KDIR2011), Paris, France, 26 – 29 October, 201

    Similar works

    Full text

    thumbnail-image

    Available Versions

    NARCIS

    redirect
    Last time updated on 03/09/2017

    Radboud Repository

    redirect
    oaioai:repository.ubn.ru.nl:2066/...
    Last time updated on 06/09/2013