Zum Inhalt springen

  1. Nikitchenko, Mykola [Herausgeber:in]; Bogomolov, Sergiy [Herausgeber:in] ; ICTERI 16. 2020 Online

    PhD Symposium : at the 16th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2020) : 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.

    [Aachen, Germany]: [RWTH Aachen], 2020-12-28

    Erschienen in: ICTERI: ICT in Education, Research and Industrial Applications ; 3 - CEUR workshop proceedings ; 2791

  2. Nikitchenko, Mykola [Verfasser:in]; Shkilniak, Oksana [Verfasser:in]; Shkilniak, Stepan [Verfasser:in]

    Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement

    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.

    2020

    Erschienen in: UkrPROG (12. : 2020 : Online): UkrPROG 2020: 12th International Conference of Programming ; (2020), Seite 182-197

  3. Ermolayev, Vadim [Herausgeber:in]; Esteban, David [Herausgeber:in]; Yakovyna, Vitaliy [Herausgeber:in]; Mayr, Heinrich C. [Herausgeber:in]; Zholtkevych, Grygoriy [Herausgeber:in]; Nikitchenko, Mykola [Herausgeber:in]; Spivakovsky, Aleksander [Herausgeber:in]

    Information and Communication Technologies in Education, Research, and Industrial Applications : 17th International Conference, ICTERI 2021, Kherson, Ukraine, September 28–October 2, 2021, Revised Selected Papers - [1st ed. 2022.]

    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, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Communications in Computer and Information Science ; 1698