Účinné rezolvenčné dokazovanie teorém v propozicionálnej logike

Bibliographic Details
Main Authors:	Fiby, Rudolf, 1946-2014 (Author), Sokol, Július (Author), Sudolský, Marián (Author)
Format:	Article
Language:	Slovak
PhysicalDescription:	Res. rus., angl.
Subjects:	logika propozicionálna články zo zborníkov

Similar Items