|
|||||
|
|
The new logic |
|
| Authors: | Gabbay D; Woods J |
| Institution: | A1 Department of Computer Science, King's College, Strand, London WC2R 2L2, UK E-mail: dg@dcs.kcl.ac.uk A The Abductive Systems Group, University of Lethbridge, 4401 University Drive, Lethbridge, Alberta, Canada T1K 3M4 E-mail: woods@uleth.ca |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |