Brigitte Pientka – författare

Visar alla böcker från författaren Brigitte Pientka.

1 produkt

Kategorier

1 produkt

Del 14132

Brigitte Pientka, Cesare Tinelli - Automated Deduction – CADE 29, Häftad

Del 14132 - Lecture Notes in Computer Science

Automated Deduction – CADE 29

29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

AvBrigitte Pientka,Cesare Tinelli

Häftad, Engelska, 2023

589 kr

Skickas inom 5-8 vardagar