Linear logical reasoning on programming

Bibliographic Details
Main Authors:	Novitzká, Valerie (Author), Mihályi, Daniel (Author), Slodičák, Viliam, 1981- (Author)
Format:	Article
Language:	Slovak English
Subjects:	programovanie logická argumentácia lineárna logika

Similar Items