Search Results - Laux, Armin

  • Showing 1 – 6 results of 6
Filter by
  1. 1
    Cover Image

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

    Published 1993
    Book


    Saved in:
  2. 2
    Cover Image

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

    Published 1993
    Book


    Saved in:
  3. 3
    Cover Image

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

    Published 1993
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1992
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1994
    Table of Contents
    Book


    Saved in:
  6. 6
    Cover Image

    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
    by Laux, Armin

    Published 1989
    Order via interlibrary loan
    Thesis/Dissertation Book


    Saved in:

Search Tools: