Skip to contents

  1. Carette, Jacques [Editor]; Dixon, Lucas [Other]; Sacerdoti Coen, Claudio [Other]; Watt, Stephen M. [Other] ; 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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Lecture notes in computer science ; 5625

  2. Sacerdoti Coen, Claudio [Editor] ; 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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Waterloo, NSW]: [Open Publishing Association], 12th January 2021

    Published in: Electronic proceedings in theoretical computer science ; 332

  3. Hanus, Michael [Editor]; Sacerdoti Coen, Claudio [Editor]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Published in: Theoretical Computer Science and General Issues ; 12560

  4. Sacerdoti Coen, Claudio [Editor]; Salvo, Ivano [Editor] ; 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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: CEUR workshop proceedings ; 3072

  5. Kamareddine, Fairouz [Editor]; Sacerdoti Coen, Claudio [Editor]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Published in: Lecture Notes in Artificial Intelligence ; 12833

  8. Kaliszyk, Cezary [Editor]; Brady, Edwin [Editor]; Kohlhase, Andrea [Editor]; Sacerdoti Coen, Claudio [Editor]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer, 2019

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

  9. Al-Hassani, Osama [Author]; Mahesar, Quratul-ain [Author]; Sacerdoti Coen, Claudio [Author]; Sorge, Volker [Author] ; Osama Al-Hassani and Quratul-ain Mahesar and Claudio Sacerdoti Coen and Volker Sorge [Contributor]

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

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  10. Blanchette, Jasmin [Editor]; Davenport, James Harold [Editor]; Koepke, Peter [Editor]; Kohlhase, Andrea [Editor]; Kohlhase, Michael [Editor]; Naumowicz, Adam [Editor]; Müller, Dennis [Editor]; Sharoda, Yasmine [Editor]; Sacerdoti Coen, Claudio [Editor] ; 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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: CEUR workshop proceedings ; 3377

  11. Brady, Edwin [Editor]; Davenport, James Harold [Editor]; Farmer, William M. [Editor]; Kaliszyk, Cezary [Editor]; Kohlhase, Andrea [Editor]; Müller, Dennis [Editor]; Pąk, Karol [Editor]; Sacerdoti Coen, Claudio [Editor] ; 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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: CEUR workshop proceedings ; 2634

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

    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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Published in: Lecture notes in computer science ; 5625