|
|||||
|
|
Concurrent inference through dual transformation |
|
| Authors: | Bittencourt G |
| Institution: | Departamento de Automacao e Sistemas, Universidade Federal de Santa Catarina, 88040-900 Florianopolis, SC, Brazil. E-mail: gb@lcmi.ufsc.br |
| Abstract: | |
| Keywords: | first-order logic dual transformation inference knowledge representation |
| 本文献已被 Oxford 等数据库收录！ | |