MARTINS, L. F.; http://lattes.cnpq.br/2408830707025912; MARTINS, Lidiana de França. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2002-06-19)
The ϕ-calculus theoretical tool tries to manage asynchronous interactive reasoning in the empirical sciences context. An instructor (a human specialist agent of the domain) with knowledge about the subject and interest in ...