Author Search Results

Automated Deduction - CADE 29 : : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings.

Participants: Pientka, Brigitte. [ ]; Tinelli, Cesare. [ TeilnehmendeR ]
Published: 2023.
Superior document: Lecture Notes in Computer Science Series ; v.14132

Other Authors: “...Tinelli, Cesare....”

Links: Get full text

Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings / / edited by Brigitte Pientka, Cesare Tinelli.

Participants: Pientka, Brigitte. [ ]; Tinelli, Cesare. [ TeilnehmendeR ]
Published: 2023.
Superior document: Lecture Notes in Artificial Intelligence, 14132

Other Authors: “...Tinelli, Cesare....”