Books listed by ISBN
>
Aletti
> Savino Forcillo
Savino Forcillo
Sabine Forkel
title
ISBN-13
(ISBN-10)
year of publication
Sotto una vecchia luce
978-88-591-2954-7
(88-591-2954-O)
2015
Savoie, France) Conference on Automated Deduction 1980 (Les Arcs