Número de Cutter-SanbornP614aEntrada «Pien» → 614 · marca de obra “a”

Automated Deduction - CADE 29

Name: Automated Deduction - CADE 29
ISBN: 9783031384981

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

Autor	Brigitte Pientka, Cesare Tinelli
Editorial	Springer
Fecha de publicación	2023
Idioma	inglés
ISBN-13	9783031384981
Número de Cutter	`P614a`

Automated Deduction - CADE 29 (2023) — ISBN 9783031384981 | Cutter Number