Works matching IS 19725787 AND DT 2014 AND VI 7 AND IP 2

Results: 2
    1

    Matita Tutorial.

    Published in:
    Journal of Formalized Reasoning, 2014, v. 7, n. 2, p. 91
    By:
    • ASPERTI, ANDREA;
    • RICCIOTTI, WILMER;
    • COEN, CLAUDIO SACERDOTI
    Publication type:
    Article
    2