|
|||||
|
|
Tableau reasoning and programming with dynamic first order logic |
|
| Authors: | van Eijck J; Heguiabehere J; O Nuallain B |
| Institution: | ILLC, Amsterdam, The Netherlands E-mail: jve@cwi.nl; juanh@wins.uva.nl; bon@illc.uva.nl |
| Abstract: | |
| Keywords: | dynamic logic first order logic assertion calculus tableau reasoning |
| 本文献已被 Oxford 等数据库收录！ | |