Zum Inhalt springen

  1. Carette, Jacques [Herausgeber:in]; 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
    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, 2009

    Erschienen in: Lecture notes in computer science ; 5625

  2. Sacerdoti Coen, Claudio [Herausgeber:in] ; International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice 15. 2020 Online, Open Publishing Association

    Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Paris, France, 29th June 2020

    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], 12th January 2021

    Erschienen in: Electronic proceedings in theoretical computer science ; 332

  3. Hanus, Michael [Herausgeber:in]; Sacerdoti Coen, Claudio [Herausgeber:in]

    Functional and Constraint Logic Programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers - [1st ed. 2021.]

    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: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Theoretical Computer Science and General Issues ; 12560

  4. Sacerdoti Coen, Claudio [Herausgeber:in]; Salvo, Ivano [Herausgeber:in] ; ICTCS 22. 2021 Online

    ICTCS 2021: 22nd Italian Conference on Theoretical Computer Science 2021 : proceedings of the 22nd Italian Conference on Theoretical Computer Science : Bologna, Italy, September 13-15, 2021

    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.

    [Aachen, Germany]: [RWTH Aachen], 2022-01-15

    Erschienen in: CEUR workshop proceedings ; 3072

  5. Kamareddine, Fairouz [Herausgeber:in]; Sacerdoti Coen, Claudio [Herausgeber:in]

    Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings - [1st ed. 2021.]

    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: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Lecture Notes in Artificial Intelligence ; 12833

  8. Kaliszyk, Cezary [Herausgeber:in]; Brady, Edwin [Herausgeber:in]; Kohlhase, Andrea [Herausgeber:in]; Sacerdoti Coen, Claudio [Herausgeber:in]

    Intelligent Computer Mathematics : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings - [1st ed. 2019]

    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: Springer, 2019

    Erschienen in: Lecture Notes in Artificial Intelligence ; 11617 - Springer eBooks ; Computer Science

  9. Al-Hassani, Osama [Verfasser:in]; Mahesar, Quratul-ain [Verfasser:in]; Sacerdoti Coen, Claudio [Verfasser:in]; Sorge, Volker [Verfasser:in] ; Osama Al-Hassani and Quratul-ain Mahesar and Claudio Sacerdoti Coen and Volker Sorge [Mitwirkende:r]

    A Term Rewriting System for Kuratowski's Closure-Complement Problem

    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012

  10. Blanchette, Jasmin [Herausgeber:in]; Davenport, James Harold [Herausgeber:in]; Koepke, Peter [Herausgeber:in]; Kohlhase, Andrea [Herausgeber:in]; Kohlhase, Michael [Herausgeber:in]; Naumowicz, Adam [Herausgeber:in]; Müller, Dennis [Herausgeber:in]; Sharoda, Yasmine [Herausgeber:in]; Sacerdoti Coen, Claudio [Herausgeber:in] ; CICM 14. 2021 Online

    CICM-WS 2021: workshop papers of the 14th Conference on Intelligent Computer Mathematics (CICM 2021) : joint proceedings of the FMM, FVPS, MathUI, NatFoM, and OpenMath workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021, co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021) : virtual event, Timisoara, Romania, July 26-31, 2021

    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.

    [Aachen, Germany]: [RWTH Aachen], 2023-04-19

    Erschienen in: CEUR workshop proceedings ; 3377

  11. Brady, Edwin [Herausgeber:in]; Davenport, James Harold [Herausgeber:in]; Farmer, William M. [Herausgeber:in]; Kaliszyk, Cezary [Herausgeber:in]; Kohlhase, Andrea [Herausgeber:in]; Müller, Dennis [Herausgeber:in]; Pąk, Karol [Herausgeber:in]; Sacerdoti Coen, Claudio [Herausgeber:in] ; CICM 12. 2019 Prag

    CICM-WS 2019: workshop papers at 12th Conference on Intelligent Computer Mathematics CICM 2019 : joint proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019, co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019) : Prague, Czech Republic, July 8-12, 2019

    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.

    [Aachen, Germany]: [RWTH Aachen], 2020-07-07

    Erschienen in: CEUR workshop proceedings ; 2634

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