Ματσούκας, Σπύρος (Personal Name)

Machine generated authority record.

Work cat.: (GR-PaULI)86462: Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων, Ιούνιος 1994