|
|||||
|
|
Abductive Equivalence in First-order Logic |
|
| Authors: | Inoue Katsumi; Sakama Chiaki |
| Institution: | 1 National Institute of Informatics. 2-1-2 Hitotsubashi, Chiyoda-ku. Tokyo (Japan) E-mail: ki{at}nii.ac.jp, 2 Department of Computer and Communication Sciences. Wakayama University. Sakaedani, Wakayama (Japan). Email: sakama{at}sys.wakayama-u.ac.jp |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |