Updates of logic programs

Bibliographic Details
Main Author:	Šefránek, Ján, 1942- (Author)
Format:	Article
Language:	Slovak English
Subjects:	logické programovanie reprezentácia znalostí (teória informácie) znalostné databázy Kripkeho štruktúry

Similar Items