Treffer 1 – 4 von 4 für Suche 'Kutsia, Temur', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming

    Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming von Kutsia, Temur

    Veröffentlicht 2010
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Intelligent computer mathematics 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, proceedings

    Intelligent computer mathematics 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Mathematical aspects of computer and information sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings

    Mathematical aspects of computer and information sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    15th International Conference on Interactive Theorem Proving ITP 2024, September 9–14, 2024, Tbilisi, Georgia

    15th International Conference on Interactive Theorem Proving ITP 2024, September 9–14, 2024, Tbilisi, Georgia

    Veröffentlicht 2024
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: