Tableau reasoning and programming with dynamic first order logic.

Autor: van Eijck, J1, Heguiabehere, J1, Ó Nualláin, B1
Zdroj: Logic Journal of the IGPL. 2000, Vol. 9 Issue 3, p411-445. 35p.
Databáze: Business Source Ultimate
Externí odkaz: