Treffer 1 - 2 von 2 für Suche 'Galmiche, Didier', Suchdauer: 0,10s Treffer weiter einschränken
  1. 1
    Automated reasoning 9th International Joint Conference, IJCAR 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

    Automated reasoning 9th International Joint Conference, IJCAR 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Galmiche, Didier …”

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automated reasoning 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

    Automated reasoning 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Galmiche, Didier …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: