On the Use of Extended Resolution in Propositional Reasoning

Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › unbekannt