Zum Inhalt springen

  1. Autexier, Serge [Herausgeber:in] ; 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
    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 [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6167

  2. Autexier, Serge [Herausgeber:in]; 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
    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 [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5144

  3. Autexier, Serge [Sonstige Person, Familie und Körperschaft] ; Schloss Dagstuhl, Leibniz-Zentrum für Informatik

    Workshop on Trustworthy Software : May 18 - 19, 2006, Saarbrücken, Germany

    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.

    Wadern, 2006

    Erschienen in: Open access series in informatics ; 3

  4. Autexier, Serge [Verfasser:in]

    HDMS-A und OBSCURE in KORSO : die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 2: Schablonen zur Übersetzung eines E/R-Schemas in eine OBSCURE Spezifikation

    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.

    Scientific publications of the Saarland University (UdS), 2014-04-03

  5. Autexier, Serge [Verfasser:in] ; 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

  6. Autexier, Serge [Verfasser:in] ; Calmet, Jacques [Mitwirkende:r]; Delahaye, David [Mitwirkende:r]; Ion, Patrick D. F. [Mitwirkende:r]; Rideau, Laurence [Mitwirkende:r]; Rioboo, Renaud [Mitwirkende:r]; Sexton, Alan P. [Mitwirkende:r] ACM Special Interest Group on Symbolic & Algebraic Manipulation

    Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics

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

    Erschienen in: ACM Conferences- ACM Digital Library

  7. Autexier, Serge [Verfasser:in]

    HDMS-A und OBSCURE in KORSO : die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 2: Schablonen zur Übersetzung eines E/R-Schemas in eine OBSCURE Spezifikation

    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.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

    Erschienen in: Technischer Bericht ; 1993,5

  12. Autexier, Serge [Herausgeber:in]; Quaresma, Pedro [Herausgeber:in] ; Workshop on User Interfaces for Theorem Provers 12. 2017 Coimbra, Open Publishing Association

    Proceedings of the 12th Workshop on User Interfaces for Theorem Provers : Coimbra, Portugal, 2nd July 2016

    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.

    [Waterloo, NSW]: [Open Publishing Association], 24th January 2017

    Erschienen in: Electronic proceedings in theoretical computer science ; 239

  13. Autexier, Serge [Sonstige Person, Familie und Körperschaft]; Mantel, Heiko [Sonstige Person, Familie und Körperschaft]

    Second Verification Workshop, VERIFY'02, July 25 - 26, 2002, Copenhagen, Denmark : affiliated with the 18th Conference on Automated Deduction (CADE) at FLoC'02

    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.

    Copenhagen: DIKU, 2002

    Erschienen in: Københavns Universitet: Technical report ; 200207

  15. Autexier, Serge [Verfasser:in]; Hutter, Dieter [Verfasser:in]

    Parameterized abstractions used for proof-planning

    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.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

    Erschienen in: Research Report ; 1997,4

  19. Aderhold, Markus [Herausgeber:in]; Autexier, Serge [Herausgeber:in]; Mantel, Heiko [Herausgeber:in] ; International Verification Workshop 6. 2010 Edinburgh

    VERIFY-2010 : 6th International Verification Workshop

    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.

    [Manchester]: EasyChair, May 15, 2012

    Erschienen in: EPiC series in computing ; 3

  20. Krieg-Brückner, Bernd [Verfasser:in]; Autexier, Serge [Verfasser:in]; Pomarlan, Mihai [Verfasser:in]

    The BAALL Ontology - Configuration of Service Robots, Food, and Diet

    Aufsätze
    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.

    2021

    Erschienen in: JOWO (7. : 2021 : Bozen; Online): JOWO 2021, the Joint Ontology Workshops ; 2021