Algebraic Techniques and the mechanization of number theory

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Cook, Stephen A.
Format: UnknownFormat
Sprache:und
Schlagworte:
Online Zugang:Katalogkarte der UB Frankfurt
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!