Treffer 1 - 3 von 3 für Suche 'Pientka, Brigitte', Suchdauer: 0,34s Treffer weiter einschränken
  1. 1
    Automated deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings

    Automated deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings

    Veröffentlicht 2023
    Weitere Verfasser: “… Pientka, Brigitte …”
    kostenfrei
    kostenfrei
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automated deduction – CADE 29 29th international conference on automated deduction, Rome, Italy, July 01-04, 2023 : proceedings

    Automated deduction – CADE 29 29th international conference on automated deduction, Rome, Italy, July 01-04, 2023 : proceedings

    Veröffentlicht 2023
    Weitere Verfasser: “… Pientka, Brigitte …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    1st international conference on formal structures for computation and deduction FSCD 2016, June 22-26, 2016, Porto, Portugal

    1st international conference on formal structures for computation and deduction FSCD 2016, June 22-26, 2016, Porto, Portugal

    Veröffentlicht 2016
    Weitere Verfasser:
    kostenfrei
    kostenfrei
    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: