Zum Inhalt springen

  2. Wu, Wen-Tsun [VerfasserIn] ; Wu, Wenjun [Sonstige Person, Familie und Körperschaft]

    Mechanical theorem proving in geometries : basic principles

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wien [u.a.]: Springer, 1994

    Erschienen in: Texts and monographs in symbolic computation

  4. Calmet, Jaques [Sonstige Person, Familie und Körperschaft]; Ida, Tetsuo [Sonstige Person, Familie und Körperschaft]; Wang, Dongming [Sonstige Person, Familie und Körperschaft]; Calmet, Jacques [HerausgeberIn] ; AISC 8 2006 Peking

    Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20 - 22, 2006 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 4120: Lecture notes in artificial intelligence

  5. Schreck, Pascal [HerausgeberIn]; Narboux, Julien [Sonstige Person, Familie und Körperschaft]; Richter-Gebert, Jürgen [Sonstige Person, Familie und Körperschaft] ; ADG 8 2010 München

    Automated deduction in geometry : 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010 ; revised papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6877

  11. Wang, Dongming [VerfasserIn]

    Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

    Erschienen in: Lecture notes in computer science ; 1360

  12. Schreck, Pascal [VerfasserIn] ; Narboux, Julien [Sonstige Person, Familie und Körperschaft]; Richter-Gebert, Jürgen [Sonstige Person, Familie und Körperschaft]

    Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6877

  13. Botana, Francisco [HerausgeberIn]; Quaresma, Pedro [HerausgeberIn]

    Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9201

  14. Ida, Tetsuo [VerfasserIn] ; Fleuriot, Jacques [HerausgeberIn]

    Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 7993

  15. Gao, Xiao-Shan [VerfasserIn] ; Wang, Dongming [Sonstige Person, Familie und Körperschaft]; Yang, Lu [Sonstige Person, Familie und Körperschaft]

    Automated Deduction in Geometry : Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999

    Erschienen in: Lecture notes in computer science ; 1669

  16. Calmet, Jaques [Sonstige Person, Familie und Körperschaft]; Ida, Tetsuo [Sonstige Person, Familie und Körperschaft]; Wang, Dongming [Sonstige Person, Familie und Körperschaft]

    Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 4120

  17. Sturm, Thomas [VerfasserIn] ; Zengler, Christoph [Sonstige Person, Familie und Körperschaft]

    Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6301

  18. Botana, Francisco [Sonstige Person, Familie und Körperschaft]; Recio, Tomás [Sonstige Person, Familie und Körperschaft] ; ADG 6 2006 Pontevedra

    Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4869

  19. Hong, Hoon [Sonstige Person, Familie und Körperschaft]; Wang, Dongming [Sonstige Person, Familie und Körperschaft]

    Automated Deduction in Geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 3763

  20. Winkler, Franz [VerfasserIn]

    Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 293000