Suchergebnisse - Artemov, Sergej N. 1951-

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2019
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Artemov, Sergej N. 1951- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Artemov, Sergej N. 1951- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: