Zum Inhalt springen

  1. Grundt, Dominik [Verfasser:in]; Jurj, Sorin Liviu [Verfasser:in]; Hagemann, Willem [Verfasser:in]; Kröger, Paul [Verfasser:in]; Fränzle, Martin [Verfasser:in]

    Verification of sigmoidal Artificial Neural Networks using iSAT

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Electronic proceedings in theoretical computer science ; 361(2022), Seite 45-60