Al risveglio dal sogno
Subtitle: la pratica della dimostrazione automatica
By: Miriam Franchella
Edition: Prima edizione.
Series: Biblioteca di cultura filosofica -- 49; Biblioteca di cultura filosofica (Milan, Italy) -- 49
Publisher: Edizioni Unicopli
Published: 2016
Place of publication: Milano
Language: ita
Number of pages: 178
ISBN-13: 9788840019109
Subjects: Automatic theorem proving
Notes: Includes bibliographical references (pages 177-178).