Anti-unification of Unordered Goals

Activité: Types de discours ou de présentationPrésentation orale

Période18 févr. 2022
Titre de l'événementComputer Science Logic 2022
Type d'événementUne conférence
LieuGöttingen, AllemagneAfficher sur la carte
Niveau de reconnaissanceInternational