Suchergebnisse - Nivelle, Hans de 1967-

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

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1999
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    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 beteiligte Personen: “… Nivelle, Hans de 1967- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: