Vol-1784⫷ Vol-1785 ⫸Vol-1786
urn:nbn:de:0074-1785-0


Vol-1785/W1⫷Vol-1785/W44⫸Vol-1785/W23

A First Step Towards Automated Conjecture-Making in Higher Arithmetic geometry