1
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO...”
A tableaux method for dolev-yao multi-agent epistemic logic
Dissertação