Treffer 1 – 5 von 5 für Suche 'Nivelle, Hans de 1967-', 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
    Resolution decided the guarded fragment

    Resolution decided the guarded fragment von Nivelle, Hans de 1967-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Manual ot the TYPO type checker

    Manual ot the TYPO type checker von Nivelle, Hans de 1967-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Prefixed resolution a resolution method for modal and description logics

    Prefixed resolution a resolution method for modal and description logics von Areces, Carlos, Nivelle, Hans de 1967-, Rijke, Maarten de

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Decoding the E+-class by an a posteriori, liftable order

    Decoding the E+-class by an a posteriori, liftable order von Nivelle, Hans de 1967-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Automated reasoning with analytic tableaux and related methods 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21 - 24, 2015 ; proceedings

    Automated reasoning with analytic tableaux and related methods 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21 - 24, 2015 ; proceedings

    Veröffentlicht 2015
    Weitere Verfasser: “… Nivelle, Hans de 1967- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: