Κανονική προβολή
Προβολή MARC
- ΣΤΡΑΤΗΓΙΚΕΣ ΕΛΕΓΧΟΥ
ΣΤΡΑΤΗΓΙΚΕΣ ΕΛΕΓΧΟΥ (Topical Term)
Machine generated authority record.
Work cat.: (GR-PaULI)86462: Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων, Ιούνιος 1994