Works matching IS 13670751 AND DT 2012 AND VI 20 AND IP 2


Results: 12
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12

    Tableaux for structural abduction.

    Published in:
    Logic Journal of the IGPL, 2012, v. 20, n. 2, p. 388, doi. 10.1093/jigpal/jzq054
    By:
    • Nepomuceno-Fernández, Ángel;
    • Salguero-Lamillar, Francisco J.;
    • Fernández-Duque, David
    Publication type:
    Article