A universal fixpoint semantics for ordered logic

Bibliographic Details
Main Authors:	Laenens, Els (Author), Vermeir, Dirk (Author)
Format:	Article
Language:	Slovak English
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

Similar Items