Works matching IS 19725787 AND DT 2017 AND VI 10 AND IP 1

Results: 1

    • Formalizing Restriction Categories.

      Published in:
      Journal of Formalized Reasoning, 2017, v. 10, n. 1, p. 1
      By:
      • CHAPMAN, JAMES;
      • UUSTALU, TARMO;
      • VELTRI, NICCOLÒ
      Publication type:
      Article