vix.ing · top · new · best · stats · spec

Patrick Terrematte

  1. TryLogic tutorial: an approach to Learning Logic by proving and refuting
    2015/07/14 by Patrick Terrematte, Terrematte, Patrick, João Marcos +1 · 1 citation
    Computer Science · #Logic, programming, and type systems #Semantic Web and Ontologies #Open Education and E-Learning