A universal fixpoint semantics for ordered logic

Bibliographic Details
Main Authors:	Laenens, Els (Author), Vermeir, Dirk (Author)
Format:	Article
Language:	Slovak English
PhysicalDescription:	Sch.
ISSN:	0232-0274
Subjects:	programovanie logické > bázy dát deduktívne > znalosti > reprezentácia bázy dát deduktívne znalosti články z novín a časopisov

Description
Physical Description:	Sch.
ISSN:	0232-0274
Bibliography:	Res. angl. Bibliogr. odkazy Biogr. údaje

Similar Items