Treffer 1 – 8 von 8 für Suche 'You, Jia-Huai', Suchdauer: 0,05s 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
    Extending logic programming with negation through uniform proofs

    Extending logic programming with negation through uniform proofs von Yuan, Li-Yan, You, Jia-Huai

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A logic for introspective as well as retrospective reasoning [extended abstract]

    A logic for introspective as well as retrospective reasoning [extended abstract] von Yuan, Li Yan, You, Jia-Huai

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Abductive logic programming with assumption denials

    Abductive logic programming with assumption denials von You, Jia-Huai, Yuan, Li Yan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    First-order unification in equational theories and its application to logic programming

    First-order unification in equational theories and its application to logic programming von You, Jia-Huai

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    On the semantics of a shared common knowledge distributed logic system

    On the semantics of a shared common knowledge distributed logic system von Wang, Xianchang, Yuan, Li-Yan, You, Jia-Huai

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Coherence approach for logic program revision

    Coherence approach for logic program revision von Yuan, Li-Yan, You, Jia-Huai

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Skeptical belief revision in the reason maintenance system

    Skeptical belief revision in the reason maintenance system von You, Jia-Huai, Yuan, Li Yan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    On the equivalence of semantics for normal logic programs

    On the equivalence of semantics for normal logic programs von You, Jia-Huai, Yuan, Li Yan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: