Treffer 1 – 8 von 8 für Suche 'Giunchiglia, Fausto', Suchdauer: 0,04s 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
    Building abstractions

    Building abstractions von Bundy, Alan, Giunchiglia, Fausto, Walsh, Toby

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Abstracting into inconsistent spaces (or, the "false proof" problem

    Abstracting into inconsistent spaces (or, the "false proof" problem von Giunchiglia, Fausto, Walsh, Toby

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Automating meta-theory creation and system extension

    Automating meta-theory creation and system extension von Basin, David A., Giunchiglia, Fausto, Traverso, Paolo

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Abstract theorem proving: mapping back

    Abstract theorem proving: mapping back von Giunchiglia, Fausto, Walsh, Toby

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Using abstraction

    Using abstraction von Giunchiglia, Fausto, Walsh, Toby

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A theory of abstraction

    A theory of abstraction von Giunchiglia, Fausto, Walsh, Toby

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Knowledge science, engineering and management 11th International Conference, KSEM 2018, Changchun, China, August 17-19, 2018 : proceedings, part II

    Knowledge science, engineering and management 11th International Conference, KSEM 2018, Changchun, China, August 17-19, 2018 : proceedings, part II

    Veröffentlicht 2018
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Knowledge science, engineering and management 11th International Conference, KSEM 2018, Changchun, China, August 17-19, 2018 : proceedings, part I

    Knowledge science, engineering and management 11th International Conference, KSEM 2018, Changchun, China, August 17-19, 2018 : proceedings, part I

    Veröffentlicht 2018
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: