Zum Inhalt springen

  1. Zarrieß, Benjamin [VerfasserIn] ; Baader, Franz [Sonstige Person, Familie und Körperschaft]; Sardina, Sebastian [Sonstige Person, Familie und Körperschaft]

    Verification of Golog Programs over Description Logic Actions

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2018