Anti-unification of Unordered Goals

Activité: Discours ou présentation › Pré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

Contenu connexe

  • Résultat de recherche

  • Anti-unification of Unordered Goals

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Activités

  • Computer Science Logic 2022

    Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès