STIRDAT: A system tightly integrating relational databases and a theorem prover

Autor:	Rao, Lila, Reichgelt, Han *
Zdroj:	In Data & Knowledge Engineering 2000 34(1):1-20
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect