Lucas Gomes

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Intuitionistic Logic

Natural Deduction

Student Modelling

Network Management

Top Venues

Intelligent Tutoring Systems

Publications