Treffer 1 – 5 von 5 für Suche 'Fisher, Michael 1962-', 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
    Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines

    Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines von Dennis, Louise A., Fisher, Michael 1962-

    Veröffentlicht 2023
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Program logics a short survey

    Program logics a short survey von Fisher, Michael 1962-, Barringer, Howard

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines

    Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines von Dennis, Louise A., Fisher, Michael 1962-

    Veröffentlicht 2023
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Fair SMG and linear time model checking

    Fair SMG and linear time model checking von Barringer, Howard, Fisher, Michael 1962-, Gough, Graham D.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Computational logic in multi-agent systems 10th international workshop, CLIMA X, Hamburg, Germany, September 9 - 10, 2009 ; revised selected and invited papers

    Computational logic in multi-agent systems 10th international workshop, CLIMA X, Hamburg, Germany, September 9 - 10, 2009 ; revised selected and invited papers

    Veröffentlicht 2010
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: