3rd International Congress on Sports Science and Computer Science In Sports
Open Conference Systems
Conference Help
User
Username
Password
Remember me
Notifications
View
Subscribe
/
Unsubscribe
Language
English
Português (Brasil)
Conference Content
Search
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Conference
By Author
By Title
Font Size
Information
For Readers
For Authors
Home
About
Log In
Account
Search
Archive
Announcements
Home
>
Search
>
Author Details
Author Details
Marcos da Silva Leite, José, UnB
- Exatas
Geração Automática de Modelos em Lógicas Modais: Implementação
Abstract