The logical basis for computer programming. Vol. 2: Deductive Systems

Bibliographic Details
Main Authors:	Fiby, Rudolf, 1946-2014 (Author), Manna, Z. (Author), Waldinger, R. (Author)
Format:	Article
Language:	English
Subjects:	počítačové programovanie logika články z novín a časopisov

Similar Items