Automated Theory Formation in Pure Mathematics: Versionsgeschichte

Wechseln zu: Navigation, Suche

Zur Anzeige der Änderungen einfach die zu vergleichenden Versionen auswählen und die Schaltfläche „Gewählte Versionen vergleichen“ klicken.

  • (Aktuell) = Unterschied zur aktuellen Version, (Vorherige) = Unterschied zur vorherigen Version
  • Uhrzeit/Datum = Version zu dieser Zeit, Benutzername/IP-Adresse des Bearbeiters, K = Kleine Änderung
  • (Aktuell | Vorherige) 11:45, 19. Nov. 2014Gbachelier (Diskussion | Beiträge). . (1.759 Bytes) (+1.759 Bytes). . (Die Seite wurde neu angelegt: „ == Reference == Colton, S.: Automated Theory Formation in Pure Mathematics. Springer, Heidelberg (2002), ISBN 978-1-4471-0147-5. == DOI == http://www.spring…“)