Treffer 1 – 3 von 3 für Suche 'Artemov, Sergej N. 1951-', Suchdauer: 0,05s 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
    Justification logic reasoning with reasons

    Justification logic reasoning with reasons von Artemov, Sergej N. 1951-, Fitting, Melvin 1942-

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


    Gespeichert in:
  2. 2
    Logical foundations of computer science International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020 : proceedings

    Logical foundations of computer science International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020 : proceedings

    Veröffentlicht 2020
    Weitere Verfasser: “… Artemov, Sergej N. 1951- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Logical foundations of computer science international symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, proceedings

    Logical foundations of computer science international symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Artemov, Sergej N. 1951- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: