Search

You searched for: Auteur Pientka, Brigitte. Remove constraint Auteur: Pientka, Brigitte.
1 entry found
Number of results to display per page

Search Results

1. Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
thumbnail
Full text!
Author:
Pientka, Brigitte.; Tinelli, Cesare
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book