Hlavní navigace

Názor ke článku K čemu je teorie (důkazů) od zboj - @Cousot V automatickém plánování procházení stavového prostoru moc...