Zum Inhalt springen

  2. Calmet, Jacques [HerausgeberIn] ; AISC 6 2002 Marseille, Calculemus 10 2002 Marseille

    Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; 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, 2002

    Erschienen in: Lecture notes in computer science ; 2385

  7. Autexier, Serge [HerausgeberIn] ; AISC 10 2010 Paris, Calculemus 17 2010 Paris, MKM 9 2010 Paris

    Intelligent computer mathematics : 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5-10, 2010 ; 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, 2010

    Erschienen in: Lecture notes in computer science ; 6167

  8. Carette, Jacques [HerausgeberIn]; Dixon, Lucas [Sonstige Person, Familie und Körperschaft]; Sacerdoti Coen, Claudio [Sonstige Person, Familie und Körperschaft]; Watt, Stephen M. [Sonstige Person, Familie und Körperschaft] ; Calculemus 16 2009 Grand Bend, MKM 8 2009 Grand Bend, CICM 2 2009 Grand Bend

    Intelligent computer mathematics : 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 ; 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, 2009

    Erschienen in: Lecture notes in computer science ; 5625

  9. Autexier, Serge [HerausgeberIn]; Campbell, John [Sonstige Person, Familie und Körperschaft]; Rubio, Julio [Sonstige Person, Familie und Körperschaft]; Sorge, Volker [Sonstige Person, Familie und Körperschaft]; Suzuki, Masakazu [Sonstige Person, Familie und Körperschaft]; Wiedijk, Freek [Sonstige Person, Familie und Körperschaft] ; AISC 9 2008 Birmingham, Calculemus 15 2008 Birmingham, MKM 7 2008 Birmingham

    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

    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, 2008

    Erschienen in: Lecture notes in computer science ; 5144

  10. 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

  12. Autexier, Serge [VerfasserIn] ; Calmet, Jacques [Sonstige Person, Familie und Körperschaft]; Delahaye, David [Sonstige Person, Familie und Körperschaft]; Ion, Patrick D. F. [Sonstige Person, Familie und Körperschaft]; Rideau, Laurence [Sonstige Person, Familie und Körperschaft]; Rioboo, Renaud [Sonstige Person, Familie und Körperschaft]; Sexton, Alan P. [Sonstige Person, Familie und Körperschaft]

    Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. 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, 2010

    Erschienen in: Lecture notes in computer science ; 6167

  13. Konev, Boris [Sonstige Person, Familie und Körperschaft]; Wolter, Frank [Sonstige Person, Familie und Körperschaft]

    Frontiers of Combining Systems : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 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, 2007

    Erschienen in: Lecture notes in computer science ; 4720

  14. Gramlich, Bernhard [Sonstige Person, Familie und Körperschaft]

    Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, 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, 2005

    Erschienen in: Lecture notes in computer science ; 3717

  15. Kirchner, Hélène [VerfasserIn] ; Ringeissen, Christophe [Sonstige Person, Familie und Körperschaft]

    Frontiers of Combining Systems : Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 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, 2000

    Erschienen in: Lecture notes in computer science ; 1794

  16. Jeuring, Johan [VerfasserIn] ; Campbell, John A. [Sonstige Person, Familie und Körperschaft]; Carette, Jacques [Sonstige Person, Familie und Körperschaft]; Reis, Gabriel [Sonstige Person, Familie und Körperschaft]; Sojka, Petr [Sonstige Person, Familie und Körperschaft]; Wenzel, Makarius [Sonstige Person, Familie und Körperschaft]; Sorge, Volker [Sonstige Person, Familie und Körperschaft]

    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

    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, 2012

    Erschienen in: Lecture notes in computer science ; 7362

  17. Calmet, Jacques [VerfasserIn] ; Plaza, Jan [Sonstige Person, Familie und Körperschaft]

    Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 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 Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1476

  18. Armando, Alessandro [VerfasserIn]

    Frontiers of Combining Systems : 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 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, 2002

    Erschienen in: Lecture notes in computer science ; 2309

  19. Davenport, James Harold [VerfasserIn] ; Farmer, William M. [Sonstige Person, Familie und Körperschaft]; Urban, Josef [Sonstige Person, Familie und Körperschaft]; Rabe, Florian [Sonstige Person, Familie und Körperschaft]

    Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. 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, 2011

    Erschienen in: Lecture notes in computer science ; 6824

  20. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Siekmann, Jörg [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Carette, Jacques [Sonstige Person, Familie und Körperschaft]; Wahlster, Wolfgang [Sonstige Person, Familie und Körperschaft]; Watt, Stephen M. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Coen, Claudio Sacerdoti [Sonstige Person, Familie und Körperschaft]; Dixon, Lucas [Sonstige Person, Familie und Körperschaft]; Goebel, Randy [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]

    Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. 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, 2009

    Erschienen in: Lecture notes in computer science ; 5625