Showing 1 - 6 results of 6 for search 'Laux, Armin', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    On Skolemization in constrained logics

    On Skolemization in constrained logics by Bürckert, Hans-Jürgen, Hollunder, Bernhard, Laux, Armin

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Representing belief in multi-agent worlds via terminological logics

    Representing belief in multi-agent worlds via terminological logics by Laux, Armin

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Concept logics with function symbols

    Concept logics with function symbols by Bürckert, Hans-Jürgen, Hollunder, Bernhard, Laux, Armin

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Integrating a modal logic of knowledge into terminological logics

    Integrating a modal logic of knowledge into terminological logics by Laux, Armin

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Terminological logics with modal operators

    Terminological logics with modal operators by Baader, Franz 1959-, Laux, Armin

    Published 1994
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Literaturstudie zu Epizootiologie, Verlauf und Auswirkungen der Diktyokaulose des Rindes sowie zu den Möglichkeiten ihrer Verhütung und Bekämpfung unter besonderer Berücksichtigung der Immunprophylaxe durch orale Applikation röntgenbestrahlter Infektionslarven von Dictyocaulus viviparus

    Literaturstudie zu Epizootiologie, Verlauf und Auswirkungen der Diktyokaulose des Rindes sowie zu den Möglichkeiten ihrer Verhütung und Bekämpfung unter besonderer Berücksichtigung... by Laux, Armin

    Published 1989
    Thesis Book Interlibrary loan Place Request


    Saved in:

Search Tools: