Suchergebnisse - Eiter, Thomas

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

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

    Veröffentlicht 2020
    Online lesen (frei zugänglich)
    Hochschulschrift/Dissertation Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    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 beteiligte Personen: “… Eiter, Thomas 1966- …”
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    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 beteiligte Personen: “… Eiter, Thomas 1966- …”
    Inhaltsverzeichnis
    Elektronisch E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Prolog: The Next 50 Years

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Eiter, Thomas …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 2007
    Weitere beteiligte Personen: “… Eiter, Thomas …”
    Tagungsbericht Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Prolog: the next 50 years

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Eiter, Thomas 1966- …”
    Buch


    Gespeichert in:

Suchwerkzeuge: