Treffer 1 – 12 von 12 für Suche 'Eiter, Thomas', Suchdauer: 0,06s 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
    Existence and spatial decay of periodic Navier-Stokes flows in exterior domains

    Existence and spatial decay of periodic Navier-Stokes flows in exterior domains von Eiter, Thomas 1991-

    Veröffentlicht 2020
    Volltext öffnen
    Abschlussarbeit Elektronisch E-Book


    Gespeichert in:
  2. 2
    Decision lists and related Boolean functions

    Decision lists and related Boolean functions von Eiter, Thomas, Ibaraki, Thoshihide, Makino, Kazuhisa

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Computing intersections of Horn theories for reasoning with models

    Computing intersections of Horn theories for reasoning with models von Eiter, Thomas, Ibaraki, Toshihide, Makino, Kazuhisa

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Existential second-order logic over strings

    Existential second-order logic over strings von Eiter, Thomas, Gottlob, Georg 1956-, Gurevich, Yuri

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A first-order representation of stable models

    A first-order representation of stable models von Eiter, Thomas

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Heterogeneous active agents

    Heterogeneous active agents von Eiter, Thomas, Subrahmanian, V. S., Pick, George

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Recognizing renamable generalized propositional Horn formulas is NP-complete

    Recognizing renamable generalized propositional Horn formulas is NP-complete von Eiter, Thomas, Kilpeläinen, Pekka, Mannila, Heikki

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Prolog: The Next 50 Years

    Prolog: The Next 50 Years

    Veröffentlicht 2023
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Database theory [papers ... from the 10th International Conference on Database Theory (ICDT 2005), held in Edinburgh, UK in January 2005]

    Database theory [papers ... from the 10th International Conference on Database Theory (ICDT 2005), held in Edinburgh, UK in January 2005]

    Veröffentlicht 2007
    Weitere Verfasser: “… Eiter, Thomas …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Advances in knowledge representation, logic programming, and abstract argumentation essays dedicated to Gerhard Brewka on the occasion of his 60th birthday

    Advances in knowledge representation, logic programming, and abstract argumentation essays dedicated to Gerhard Brewka on the occasion of his 60th birthday

    Veröffentlicht 2015
    Weitere Verfasser: “… Eiter, Thomas 1966- …”
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Advances in knowledge representation, logic programming, and abstract argumentation essays dedicated to Gerhard Brewka on the occasion of his 60th birthday

    Advances in knowledge representation, logic programming, and abstract argumentation essays dedicated to Gerhard Brewka on the occasion of his 60th birthday

    Veröffentlicht 2015
    Weitere Verfasser: “… Eiter, Thomas 1966- …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Prolog: the next 50 years

    Prolog: the next 50 years

    Veröffentlicht 2023
    Weitere Verfasser:
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: