Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
9 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Sprache

9 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Intelligent computer mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 : proceedings : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8 - 13, 2012 : proceedings
    Jeuring, Johan, 1965- ; CICM (Conference) (5th : 2012 : Bremen, Germany)
    2012
    Buch
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings : Calculemus 2007 : MKM 2007
    Kauers, Manuel. ; MKM 2007 (2007 : Hagenberg im Mühlkreis, Austria) ; et al.
    2007
    Buch
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Mathematical knowledge management: third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings : MKM 2004
    Asperti, Andrea. ; Bancerek, Grzegorz. ; et al.
    2004
    Buch
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Intelligent computer mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008 : proceedings
    Autexier, Serge. ; Calculemus 2008 (2008 : Birmingham, England) ; et al.
    2008
    Buch
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Mathematical knowledge management: 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings : MKM 2006
    Borwein, Jonathan M. ; Farmer, William Michael.
    2006
    Buch
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Mathematical knowledge management: 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 ; revised selected papers : MKM 2005
    Kohlhase, Michael, 1964-
    2006
    Buch
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Mathematical knowledge management: second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
    Asperti, Andrea. ; Buchberger, Bruno. ; et al.
    2003
    Buch
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Unifying Math Ontologies: A tale of two standards
    Davenport, James H ; Kohlhase, Michael ; et al.
    In: Davenport , J H & Kohlhase , M 2009 , Unifying Math Ontologies: A tale of two standards . in J Carette , L Dixon , C Sacerdoti Coen & S M Watt (eds) , Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009 . vol. 5625/2 , Springer , Berlin , pp. 263-278 , 8th International Conference on Mathematical Knowledge Management (MKM 2009) , Grand Bend, Ontario , Canada , 10/07/09 . https://doi.org/10.1007/978-3-642-02614-0_23; (2009)
    Online Buch
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems
    Abánades, Miguel A. ; Escribano Martínez, Jesús ; et al.
    2007
    Online Buch
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -