Treffer 1 – 3 von 3 für Suche 'Hendriks, Lex', Suchdauer: 0,01s 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
    Characterization of strongly equivalent logic programs in intermediate logics

    Characterization of strongly equivalent logic programs in intermediate logics von Hendriks, Lex, Jongh, Dick de

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Intuitionistic propositional logic with only equivalence has no interpolation

    Intuitionistic propositional logic with only equivalence has no interpolation von Hendriks, Lex

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Computations in fragments of intuitionistic propositional logic

    Computations in fragments of intuitionistic propositional logic von Jong, Dick de, Hendriks, Lex, Renardel de Lavalette, Gerard R.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: